Formal methods
Related papers: 20
Top Researchers
Top Cited Papers
Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Citations: 264 • 2019
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
Hadas Kress‐Gazit, Morteza Lahijanian, Vasumathi Raman
Citations: 170 • 2018
Formal Approach to the Deployment of Distributed Robotic Teams
Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta
Citations: 140 • 2011
A formal methods approach to interpretable reinforcement learning for robotic planning
Xiao Li, Zachary Serlin, Guang Yang, Călin Belta
Citations: 106 • 2019
Coverage-guided test generation for continuous and hybrid systems
Thao Dang, Tarik Nahhal
Citations: 86 • 2009
Formalizing Properties of Agents
Richard Goodwin
Citations: 79 • 1995
Motion Generation in the MRROC++ Robot Programming Framework
Cezary Zieliński, Tomasz Winiarski
Citations: 79 • 2009
Towards a Formal Definition of Educational Robotics
Julian M. Angel-Fernandez, Markus Vincze
Citations: 73 • 2018
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
Formal verification of a TDMA protocol start-up mechanism
Henrik Lönn, Paul Pettersson
Citations: 65 • 2002
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
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
Citations: 45 • 2002
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
Vasumathi Raman, Hadas Kress‐Gazit
Citations: 44 • 2011
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
Citations: 44 • 2013
Reactive high-level behavior synthesis for an Atlas humanoid robot
Spyros Maniatopoulos, Philipp Schillinger, Vitchyr H. Pong, David C. Conner, Hadas Kress‐Gazit
Citations: 44 • 2016
Guaranteeing functional safety: design for provability and computer-aided verification
Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter
Citations: 42 • 2011
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurshan
Citations: 39 • 2001
New Opportunities for Integrated Formal Methods
Citations: 38 • 2019
Formal verification of mobile robot protocols
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
Citations: 38 • 2016