Probabilistic Preference Planning Problem for Markov Decision Processes
Li, Meilun, Turrini, Andrea, Hahn, Ernst Moritz, She, Zhikun, Zhang, Lijun
Published in IEEE transactions on software engineering (01.05.2022)
Published in IEEE transactions on software engineering (01.05.2022)
Get full text
Journal Article
The ins and outs of the probabilistic model checker MRMC
Katoen, Joost-Pieter, Zapreev, Ivan S., Hahn, Ernst Moritz, Hermanns, Holger, Jansen, David N.
Published in Performance evaluation (01.02.2011)
Published in Performance evaluation (01.02.2011)
Get full text
Journal Article
Safety Verification for Probabilistic Hybrid Systems
Zhang, Lijun, She, Zhikun, Ratschan, Stefan, Hermanns, Holger, Hahn, Ernst Moritz
Published in European journal of control (2012)
Published in European journal of control (2012)
Get full text
Journal Article
Model Checking CSL for Markov Population Models
Spieler, David, Hahn, Ernst Moritz, Zhang, Lijun
Published in Electronic proceedings in theoretical computer science (06.06.2014)
Published in Electronic proceedings in theoretical computer science (06.06.2014)
Get full text
Journal Article
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
Get full text
Paper
Journal Article
Omega-Regular Decision Processes
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (14.12.2023)
Published in arXiv.org (14.12.2023)
Get full text
Paper
Journal Article
AGNES: Abstraction-guided Framework for Deep Neural Networks Security
Dhonthi, Akshay, Eiermann, Marcello, Ernst Moritz Hahn, Hashemi, Vahid
Published in arXiv.org (07.11.2023)
Published in arXiv.org (07.11.2023)
Get full text
Paper
Journal Article
Omega-Regular Reward Machines
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (14.08.2023)
Published in arXiv.org (14.08.2023)
Get full text
Paper
Journal Article
Recursive Reinforcement Learning
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (23.06.2022)
Published in arXiv.org (23.06.2022)
Get full text
Paper
Journal Article
Alternating Good-for-MDP Automata
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (06.05.2022)
Published in arXiv.org (06.05.2022)
Get full text
Paper
Journal Article
Symblicit Exploration and Elimination for Probabilistic Model Checking
Get full text
Paper
Journal Article
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (18.06.2021)
Published in arXiv.org (18.06.2021)
Get full text
Paper
Journal Article
Model-free Reinforcement Learning for Branching Markov Decision Processes
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (12.06.2021)
Published in arXiv.org (12.06.2021)
Get full text
Paper
Journal Article
Tools at the Frontiers of Quantitative Verification
Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E, Češka, Milan, Grover, Kush, Ernst Moritz Hahn, Hartmanns, Arnd, Bryant Israelsen, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A, Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
Published in arXiv.org (22.05.2024)
Published in arXiv.org (22.05.2024)
Get full text
Paper
Journal Article
Incremental Verification of Parametric and Reconfigurable Markov Chains
Get full text
Paper
Journal Article
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Ernst Moritz Hahn, Perez, Mateo, Somenzi, Fabio, Trivedi, Ashutosh, Schewe, Sven, Wojtczak, Dominik
Published in arXiv.org (30.10.2019)
Published in arXiv.org (30.10.2019)
Get full text
Paper
Journal Article
Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Published in arXiv.org (26.09.2018)
Published in arXiv.org (26.09.2018)
Get full text
Paper
Journal Article