Formal verification
相关论文数: 20
顶级研究者
最高引用论文
Limits for automatic verification of finite-state concurrent systems
Krzysztof R. Apt, Dexter Kozen
引用数: 375 • 1986
Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
引用数: 264 • 2019
Formal Approach to the Deployment of Distributed Robotic Teams
Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta
引用数: 140 • 2011
Multi-robot planning : a timed automata approach
Michael Melholt Quottrup, Thomas Bak
引用数: 105 • 2004
ROSRV: Runtime Verification for Robots
Jeff Huang, Cansu Erdoğan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Roşu
引用数: 97 • 2014
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
“Dave...I can assure you ...that it’s going to be all right ...” A Definition, Case for, and Survey of Algorithmic Assurances in Human-Autonomy Trust Relationships
引用数: 72 • 2019
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
引用数: 71 • 2019
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Sàez-Pons
引用数: 70 • 2015
Living with Uncertainty in the Age of Runtime Models
Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke
引用数: 65 • 2014
Formal verification of a TDMA protocol start-up mechanism
Henrik Lönn, Paul Pettersson
引用数: 65 • 2002
Verification of Hybrid Systems
Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
引用数: 62 • 2018
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Călin Belta
引用数: 62 • 2023
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
引用数: 57 • 2011
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Raju Halder, José Proença, Nuno Macedo, André Santos
引用数: 57 • 2017
A corroborative approach to verification and validation of human–robot teams
引用数: 52 • 2019
ROSMonitoring: A Runtime Verification Framework for ROS
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
引用数: 49 • 2020
A Formal Model-Based Design Method for Robotic Systems
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
引用数: 47 • 2018
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
引用数: 45 • 2002