PuRSUE -- from specification of robotic environments to synthesis of controllers
From MaRDI portal
Publication:2198133
DOI10.1007/s00165-020-00509-0zbMath1458.68218OpenAlexW3012575488MaRDI QIDQ2198133
Marcello M. Bersani, Claudio Menghi, Matteo Rossi, Matteo Soldo, Patrizio Pelliccione
Publication date: 9 September 2020
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-020-00509-0
Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Artificial intelligence for robotics (68T40)
Related Items (1)
Uses Software
Cites Work
- A tool for deciding the satisfiability of continuous-time metric temporal logic
- Multi-agent planning under local LTL specifications and event-based synchronization
- From regular expressions to deterministic automata
- Model-checking in dense real-time
- Agent technology from a formal perspective.
- A theory of timed automata
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- NuSMV: A new symbolic model checker
- Multi-robot LTL planning under uncertainty
- Springer Handbook of Robotics
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- Model-checking Timed Temporal Logics
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Formal Methods for the Design of Real-Time Systems
- CONCUR 2005 – Concurrency Theory
This page was built for publication: PuRSUE -- from specification of robotic environments to synthesis of controllers