Temporal logic motion planning using POMDPs with parity objectives

DOI10.1145/2728606.2728617zbMATH Open1364.93521OpenAlexW1996295354WikidataQ130871095 ScholiaQ130871095MaRDI QIDQ2988944FDOQ2988944

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

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

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)

Cites Work

• Continuous system simulation
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards

Cited In (8)

• Enforcing almost-sure reachability in POMDPs
• Verification and control of partially observable probabilistic systems
• Iterative temporal motion planning for hybrid systems in partially unknown environments
• A framework for multi-robot motion planning from temporal logic specifications
• Design of smooth hybrid controllers for a class of non-linear systems
• Supervisor synthesis of POMDP via automata learning
• Title not available (Why is that?)
• 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)