IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification revision for Markov decision processes with optimal trade-off

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): M. Lahijanian ; M. Kwiatkowska
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 7,411 - 7,418
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7799414
Regular:

Optimal control policy synthesis for probabilistic systems from high-level specifications is increasingly often studied. One major question that is commonly faced, however, is what to do when the... View More

Advertisement