Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties

DOI10.1109/TAC.2014.2381451zbMath1360.68602MaRDI QIDQ2982700

Calin Belta, Mária Svoreňová, Ivana Černá

Publication date: 16 May 2017

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

Mathematics Subject Classification ID

93C55: Discrete-time control/observation systems

90C40: Markov and semi-Markov decision processes

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68W15: Distributed algorithms