Hybrid Model Checking is a formal verification method that combines discrete and continuous system representations to analyze hybrid systems by extending traditional model checking with the capability to handle both discrete state transitions and continuous dynamics.
96
Publications
5.3K
Citations
245
Authors
138
Institutions
Publications per year
2017–2026
9
Parents
Publications
96
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · 2002 · 205 citations
Approximate Model Checking of Stochastic Hybrid Systems
Alessandro Abate, Joost-Pieter Katoen, John Lygeros et al. · European Journal of Control · 2010 · 187 citations
1–5 of 96
Authors
245
- TA
5
h-index
- ST
4
h-index
- AP
4
h-index
- SB
4
h-index
- LB
4
h-index
1–5 of 245
Institutions
138
Carnegie Mellon University
Pittsburgh, United States
8 h-index
21 publications
910 citations
University of California, Berkeley
Berkeley, United States
5 h-index
6 publications
1.1K citations
Cadence Design Systems (United States)
San Jose, United States
4 h-index
4 publications
1K citations
University of Freiburg
Freiburg im Breisgau, Germany
4 h-index
7 publications
234 citations
Carl von Ossietzky Universität Oldenburg
Oldenburg, Germany
4 h-index
8 publications
439 citations
Fondazione Bruno Kessler
Trento, Italy
3 h-index
7 publications
192 citations
Hong Kong Polytechnic University
Hong Kong, Hong Kong
3 h-index
9 publications
319 citations
Centre National de la Recherche Scientifique
Paris, France
3 h-index
9 publications
386 citations
1–8 of 138
Venues
- International Journal on Software Tools for Technology Transfer
10 publications · 1.6K citations
10
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 87 citations
4
h-index
- Information and Computation
3 publications · 111 citations
3
h-index
- Formal Methods in System Design
3 publications · 155 citations
3
h-index
- Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
Conference · 3 publications · 151 citations
3
h-index
1–5