Specification language

What is planning in the presence of sensing

Hector J. Levesque

Citations: 202 • 1996

Provably correct reactive control from natural language

Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress‐Gazit

Citations: 52 • 2014

An object-oriented approach to language compositions for software language engineering

Marjan Mernik

Citations: 50 • 2013

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

Citations: 50 • 2021

Specification revision for Markov decision processes with optimal trade-off

Morteza Lahijanian, Marta Kwiatkowska

Citations: 35 • 2016

Decentralized control of robotic swarms from high-level temporal logic specifications

Salar Moarref, Hadas Kress‐Gazit

Citations: 35 • 2017

Synthesizing a Lego Forklift Controller in GR(1): A Case Study

Shahar Maoz, Jan Oliver Ringert

Citations: 32 • 2016

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

Ève Coste-Manière, Nicolas Turro

Citations: 30 • 2002

PsALM: Specification of Dependable Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

Citations: 25 • 2019

Automata-based supervisory control logic design for a multi-robot assembly cell

Jinkyu Lee, Tae‐Eog Lee

Citations: 21 • 2002

Development of a flexible language for mission description for multi-robot missions

Daniel Castro Silva, Pedro Henriques Abreu, Luís Paulo Reis, Eugénio Oliveira

Citations: 20 • 2014

A Distributed Task Specification Language for Mixed-Initiative Delegation

Patrick Doherty, Fredrik Heintz, David Landén

Citations: 19 • 2011

Interactive synthesis of temporal specifications from examples and natural language

Ivan Gavran, Eva Darulová, Rupak Majumdar

Citations: 19 • 2020

A real-time system description language

D. Niehaus, John A. Stankovic, Krithi Ramamritham

Citations: 17 • 2002

Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms

Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou

Citations: 17 • 2019

Synthesizing a Lego Forklift Controller in GR(1): A Case Study

Shahar Maoz, Jan Oliver Ringert

Citations: 17 • 2016

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach

Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva

Citations: 16 • 2019

Hybrid specification of control systems

K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel

Citations: 14 • 2002

From Requirements to Automated Acceptance Tests with the RSL Language

Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva

Citations: 14 • 2020

Real-Time RRT^* with Signal Temporal Logic Preferences

Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tůmová

Citations: 11 • 2023