Formal verification

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

Citations: 375 • 1986

Formal Specification and Verification of Autonomous Robotic Systems

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Citations: 264 • 2019

Formal Approach to the Deployment of Distributed Robotic Teams

Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta

Citations: 140 • 2011

Multi-robot planning : a timed automata approach

Michael Melholt Quottrup, Thomas Bak

Citations: 105 • 2004

ROSRV: Runtime Verification for Robots

Jeff Huang, Cansu Erdoğan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Roşu

Citations: 97 • 2014

Combining Model Checking and Runtime Verification for Safe Robotics

Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia

Citations: 75 • 2017

Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets

W.M. Zuberek

Citations: 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

Citations: 72 • 2019

Safety Assessment of Collaborative Robotics Through Automated Formal Verification

Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli

Citations: 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

Citations: 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

Citations: 65 • 2014

Formal verification of a TDMA protocol start-up mechanism

Henrik Lönn, Paul Pettersson

Citations: 65 • 2002

Verification of Hybrid Systems

Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer

Citations: 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

Citations: 62 • 2023

Runtime Verification of Component-Based Systems

Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

Citations: 57 • 2011

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

Raju Halder, José Proença, Nuno Macedo, André Santos

Citations: 57 • 2017

A corroborative approach to verification and validation of human–robot teams

Citations: 52 • 2019

ROSMonitoring: A Runtime Verification Framework for ROS

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi

Citations: 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

Citations: 47 • 2018

Towards automatic verification of autonomous systems

Reid Simmons, Charles Pecheur, Grama R. Srinivasan

Citations: 45 • 2002