Thomas A. Henzinger 人物
Thomas A. Henzinger · 相关论文
The algorithmic analysis of hybrid systems
1995Theoretical Computer Science引用 1875
The theory of hybrid automata
2002引用 1851
Alternating-time temporal logic
2002Journal of the ACM引用 1410
Interface automata
2001引用 1177
Lazy abstraction
2002引用 1155
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
1993Lecture notes in computer science引用 1100
Symbolic Model Checking for Real-Time Systems
1994Information and Computation引用 828
Discrete abstractions of hybrid systems
2000Proceedings of the IEEE引用 816
HYTECH: a model checker for hybrid systems
1997International Journal on Software Tools for Technology Transfer引用 775
Handbook of Model Checking
2018引用 688