Formal specification
相关论文数: 20
顶级研究者
最高引用论文
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
Mining assumptions for synthesis
Wenchao Li, Lili Dworkin, Sanjit A. Seshia
引用数: 102 • 2011
Motion Generation in the MRROC++ Robot Programming Framework
Cezary Zieliński, Tomasz Winiarski
引用数: 79 • 2009
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
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
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Cristian-Ioan Vasile, Vasumathi Raman, Sertaç Karaman
引用数: 39 • 2017
Specification revision for Markov decision processes with optimal trade-off
Morteza Lahijanian, Marta Kwiatkowska
引用数: 35 • 2016
Specification and planning of UAV missions: a Process Algebra approach
Sertaç Karaman, Steven A. Rasmussen, Derek Kingston, Emilio Frazzoli
引用数: 30 • 2009
The MAESTRO language and its environment: specification, validation and control of robotic missions
Ève Coste-Manière, Nicolas Turro
引用数: 30 • 2002
VISPEC: A graphical tool for elicitation of MTL requirements
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
引用数: 30 • 2015
Towards a Formal Verification Methodology for Collective Robotic Systems
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
引用数: 30 • 2012
Towards minimal explanations of unsynthesizability for high-level robot behaviors
Vasumathi Raman, Hadas Kress‐Gazit
引用数: 29 • 2013
Automated feedback for unachievable high-level robot behaviors
Vasumathi Raman, Hadas Kress‐Gazit
引用数: 27 • 2012
PsALM: Specification of Dependable Robotic Missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
引用数: 25 • 2019
A formal approach to AADL model-based software engineering
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaïel
引用数: 24 • 2019
Property specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
引用数: 23 • 2018
Synthesizing cooperative reactive mission plans
Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
引用数: 23 • 2015
A Distributed Task Specification Language for Mixed-Initiative Delegation
Patrick Doherty, Fredrik Heintz, David Landén
引用数: 19 • 2011
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems
Javier Cámara, David Garlan, Bradley Schmerl
引用数: 18 • 2019