Temporal logic motion planning using POMDPs with parity objectives

DOI10.1145/2728606.2728617zbMath1364.93521OpenAlexW1996295354MaRDI QIDQ2988944

Hasan Ferit Eniser, Mária Svoreňová, Kevin Leahy, Calin Belta, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2728606.2728617

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Enforcing almost-sure reachability in POMDPs ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Verification and control of partially observable probabilistic systems ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control