Temporal logic motion planning using POMDPs with parity objectives

DOI10.1145/2728606.2728617MaRDI QIDQ2988944zbMATH OpenOpenAlexWikidataFDO

Authors Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Calin Belta, I. Č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

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

Recommendations

• Temporal logic motion planning for dynamic robots
• A framework for multi-robot motion planning from temporal logic specifications
• Cross-entropy temporal logic motion planning
• Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
• A temporal logic programming approach to planning
• Multi-agent system motion planning under temporal logic specifications and control barrier function
• scientific article; zbMATH DE number 1302385
• Chance-Constrained Multilayered Sampling-Based Path Planning for Temporal Logic-Based Missions

Cites work

• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Continuous system simulation
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(8)

• Enforcing almost-sure reachability in POMDPs
• Verification and control of partially observable probabilistic systems
• A framework for multi-robot motion planning from temporal logic specifications
• Iterative temporal motion planning for hybrid systems in partially unknown environments
• Design of smooth hybrid controllers for a class of non-linear systems
• Supervisor synthesis of POMDP via automata learning
• scientific article; zbMATH DE number 7625165 (Why is no real title available?)
• Collaborative models for autonomous systems controller synthesis

This page was built for publication: Temporal logic motion planning using POMDPs with parity objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988944)