PuRSUE -- from specification of robotic environments to synthesis of controllers

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

zbMATH Keywords

formal methodsroboticscontroller synthesissoftware engineering

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Artificial intelligence for robotics (68T40)

Related Items (1)

PuRSUE

Uses Software

• PRISM
• NuSMV
• Uppaal
• UPPAAL TIGA
• Synthia
• PRISM-games
• ROS
• GitHub
• LTLMoP

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