Specification language
相关论文数: 20
顶级研究者
最高引用论文
What is planning in the presence of sensing
Hector J. Levesque
引用数: 202 • 1996
Provably correct reactive control from natural language
Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress‐Gazit
引用数: 52 • 2014
An object-oriented approach to language compositions for software language engineering
Marjan Mernik
引用数: 50 • 2013
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
引用数: 50 • 2021
Specification revision for Markov decision processes with optimal trade-off
Morteza Lahijanian, Marta Kwiatkowska
引用数: 35 • 2016
Decentralized control of robotic swarms from high-level temporal logic specifications
Salar Moarref, Hadas Kress‐Gazit
引用数: 35 • 2017
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
引用数: 32 • 2016
The MAESTRO language and its environment: specification, validation and control of robotic missions
Ève Coste-Manière, Nicolas Turro
引用数: 30 • 2002
PsALM: Specification of Dependable Robotic Missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
引用数: 25 • 2019
Automata-based supervisory control logic design for a multi-robot assembly cell
Jinkyu Lee, Tae‐Eog Lee
引用数: 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
引用数: 20 • 2014
A Distributed Task Specification Language for Mixed-Initiative Delegation
Patrick Doherty, Fredrik Heintz, David Landén
引用数: 19 • 2011
Interactive synthesis of temporal specifications from examples and natural language
Ivan Gavran, Eva Darulová, Rupak Majumdar
引用数: 19 • 2020
A real-time system description language
D. Niehaus, John A. Stankovic, Krithi Ramamritham
引用数: 17 • 2002
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou
引用数: 17 • 2019
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
引用数: 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
引用数: 16 • 2019
Hybrid specification of control systems
K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel
引用数: 14 • 2002
From Requirements to Automated Acceptance Tests with the RSL Language
Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva
引用数: 14 • 2020
Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences
Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tůmová
引用数: 11 • 2023