Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
From MaRDI portal
Publication:2982700
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)
Discrete-time control/observation systems (93C55) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)
This page was built for publication: Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
