Model checking
相关论文数: 20
顶级研究者
最高引用论文
Model checking for programming languages using VeriSoft
Patrice Godefroid
引用数: 828 • 1997
Model checking JAVA programs using JAVA PathFinder
Klaus Havelund, Thomas Pressburger
引用数: 798 • 2000
Temporal logic motion planning for dynamic robots
Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas
引用数: 460 • 2008
HyTech: A model checker for hybrid systems
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
引用数: 421 • 1997
Limits for automatic verification of finite-state concurrent systems
Krzysztof R. Apt, Dexter Kozen
引用数: 375 • 1986
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
引用数: 290 • 2009
Temporal Logic Motion Planning for Mobile Robots
Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas
引用数: 233 • 2006
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
Marius Kloetzer, Călin Belta
引用数: 179 • 2009
Formal analysis of a space-craft controller using SPIN
Klaus Havelund, M. Lowry, John Penix
引用数: 178 • 2001
Hybrid Controllers for Path Planning: A Temporal Logic Approach
Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas
引用数: 172 • 2006
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
Morteza Lahijanian, Sean B. Andersson, Călin Belta
引用数: 148 • 2011
Formal Approach to the Deployment of Distributed Robotic Teams
Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta
引用数: 140 • 2011
Exact Collision Checking of Robot Paths
Fabian Schwarzer, Mitul Saha, Jean‐Claude Latombe
引用数: 121 • 2004
RoboChart: modelling and verification of the functional behaviour of robotic applications
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
引用数: 113 • 2019
Multi-robot planning : a timed automata approach
Michael Melholt Quottrup, Thomas Bak
引用数: 105 • 2004
Revising motion planning under Linear Temporal Logic specifications in partially known workspaces
Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas
引用数: 104 • 2013
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
引用数: 75 • 2017
Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets
W.M. Zuberek
引用数: 73 • 2004
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
引用数: 66 • 2020
Formal verification of a TDMA protocol start-up mechanism
Henrik Lönn, Paul Pettersson
引用数: 65 • 2002