Formal specification

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

Mining assumptions for synthesis

Wenchao Li, Lili Dworkin, Sanjit A. Seshia

Citations: 102 • 2011

Motion Generation in the MRROC++ Robot Programming Framework

Cezary Zieliński, Tomasz Winiarski

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

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

Citations: 44 • 2016

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications

Cristian-Ioan Vasile, Vasumathi Raman, Sertaç Karaman

Citations: 39 • 2017

Specification revision for Markov decision processes with optimal trade-off

Morteza Lahijanian, Marta Kwiatkowska

Citations: 35 • 2016

Specification and planning of UAV missions: a Process Algebra approach

Sertaç Karaman, Steven A. Rasmussen, Derek Kingston, Emilio Frazzoli

Citations: 30 • 2009

The MAESTRO language and its environment: specification, validation and control of robotic missions

Ève Coste-Manière, Nicolas Turro

Citations: 30 • 2002

VISPEC: A graphical tool for elicitation of MTL requirements

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos

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

Citations: 30 • 2012

Towards minimal explanations of unsynthesizability for high-level robot behaviors

Vasumathi Raman, Hadas Kress‐Gazit

Citations: 29 • 2013

Automated feedback for unachievable high-level robot behaviors

Vasumathi Raman, Hadas Kress‐Gazit

Citations: 27 • 2012

PsALM: Specification of Dependable Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

Citations: 25 • 2019

A formal approach to AADL model-based software engineering

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaïel

Citations: 24 • 2019

Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi

Citations: 23 • 2018

Synthesizing cooperative reactive mission plans

Rüdiger Ehlers, Robert Könighofer, Roderick Bloem

Citations: 23 • 2015

A Distributed Task Specification Language for Mixed-Initiative Delegation

Patrick Doherty, Fredrik Heintz, David Landén

Citations: 19 • 2011

Synthesizing tradeoff spaces with quantitative guarantees for families of software systems

Javier Cámara, David Garlan, Bradley Schmerl

Citations: 18 • 2019