Collaborative models for autonomous systems controller synthesis
From MaRDI portal
Publication:2198131
DOI10.1007/s00165-020-00508-1zbMath1458.68219MaRDI QIDQ2198131
Murray Ireland, Ruben Giaquinta, Douglas Fraser, Ruth Hoffmann, Gethin Norman, Alice Ann Miller
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-00508-1
93C85: Automated systems (robots, etc.) in control theory
93B50: Synthesis problems
68Q60: Specification and verification (program logics, model checking, etc.)
68T40: Artificial intelligence for robotics
93A16: Multi-agent systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A game-based abstraction-refinement framework for Markov decision processes
- Verification of logic controllers for continuous plants using timed condition/event-system models
- Verification and control of partially observable probabilistic systems
- Uppaal in a nutshell
- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
- Permissive Controller Synthesis for Probabilistic Systems
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
- Temporal logic motion planning using POMDPs with parity objectives
- Quantitative Multi-objective Verification for Probabilistic Systems
- Multi-Objective Model Checking of Markov Decision Processes
- Automated Verification and Strategy Synthesis for Probabilistic Systems
- Partial-Observation Stochastic Games
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
- Stochastic Games
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games