Formal methods
相关论文数: 20
顶级研究者
最高引用论文
Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
引用数: 264 • 2019
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
Hadas Kress‐Gazit, Morteza Lahijanian, Vasumathi Raman
引用数: 170 • 2018
Formal Approach to the Deployment of Distributed Robotic Teams
Yu‐Shan Chen, Xu Chu Ding, Alin Ştefănescu, Călin Belta
引用数: 140 • 2011
A formal methods approach to interpretable reinforcement learning for robotic planning
Xiao Li, Zachary Serlin, Guang Yang, Călin Belta
引用数: 106 • 2019
Coverage-guided test generation for continuous and hybrid systems
Thao Dang, Tarik Nahhal
引用数: 86 • 2009
Formalizing Properties of Agents
Richard Goodwin
引用数: 79 • 1995
Motion Generation in the MRROC++ Robot Programming Framework
Cezary Zieliński, Tomasz Winiarski
引用数: 79 • 2009
Towards a Formal Definition of Educational Robotics
Julian M. Angel-Fernandez, Markus Vincze
引用数: 73 • 2018
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
Formal verification of a TDMA protocol start-up mechanism
Henrik Lönn, Paul Pettersson
引用数: 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
引用数: 62 • 2023
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
引用数: 45 • 2002
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
Vasumathi Raman, Hadas Kress‐Gazit
引用数: 44 • 2011
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
引用数: 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
引用数: 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
引用数: 42 • 2011
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurshan
引用数: 39 • 2001
New Opportunities for Integrated Formal Methods
引用数: 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
引用数: 38 • 2016