Autor der Publikation

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

, , und . SIAM J. Control and Optimization, 55 (4): 2333-2367 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Bayesian networks for formal verification of structured stochastic processes., , und . Acta Inf., 54 (2): 217-242 (2017)Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement., , und . SIAM J. Control and Optimization, 55 (4): 2333-2367 (2017)FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes., , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 272-286. Springer, (2015)Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions., und . IEEE Trans. Contr. Sys. Techn., 23 (3): 975-990 (2015)Temporal logic control of general Markov decision processes by approximate policy refinement., , und . CoRR, (2017)Compositional Construction of Finite State Abstractions for Stochastic Control Systems., , , und . CoRR, (2017)Verification of general Markov decision processes by approximate similarity relations and policy refinement., , und . CoRR, (2016)Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications., , , und . ACC, Seite 1740-1746. IEEE, (2017)Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes., und . SIAM J. Applied Dynamical Systems, 12 (2): 921-956 (2013)Finite Abstractions of Stochastic Max-Plus-Linear Systems., , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 74-89. Springer, (2014)