Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints

DOI10.1109/TAC.2018.2799561zbMath1423.90268arXiv1706.05209OpenAlexW2624912704MaRDI QIDQ4562786

Meng Guo, Michael M. Zavlanos

Publication date: 18 December 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.05209

Mathematics Subject Classification ID

Stochastic programming (90C15) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Optimal deterministic controller synthesis from steady-state distributions ⋮ Multi-objective optimization of long-run average and total rewards

This page was built for publication: Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints