Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ernst Moritz Hahn
@inproceedings{DBLP:conf/aaai/HahnPSS0W24,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Omega-Regular Decision Processes},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21125--21133},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30105},
doi = {10.1609/AAAI.V38I19.30105},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HahnPSS0W24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DhonthiEHH24,
author = {Akshay Dhonthi and
Marcello Eiermann and
Ernst Moritz Hahn and
Vahid Hashemi},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {{AGNES:} Abstraction-Guided Framework for Deep Neural Networks Security},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14500},
pages = {124--138},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50521-8\_6},
doi = {10.1007/978-3-031-50521-8\_6},
timestamp = {Mon, 15 Jan 2024 09:04:26 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/DhonthiEHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16015,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {Querying Fault and Attack Trees: Property Specification on a Water
Network},
journal = {CoRR},
volume = {abs/2401.16015},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16015},
doi = {10.48550/ARXIV.2401.16015},
eprinttype = {arXiv},
eprint = {2401.16015},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HahnPSSTW23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Multi-objective {\(\omega\)}-Regular Reinforcement Learning},
journal = {Formal Aspects Comput.},
volume = {35},
number = {2},
pages = {12:1--12:24},
year = {2023},
url = {https://doi.org/10.1145/3605950},
doi = {10.1145/3605950},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HahnPSSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiuTHXZ23,
author = {Ying Liu and
Andrea Turrini and
Ernst Moritz Hahn and
Bai Xue and
Lijun Zhang},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Scenario Approach for Parametric Markov Models},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {158--180},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_8},
doi = {10.1007/978-3-031-45329-8\_8},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/LiuTHXZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HahnPSS0W23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Omega-Regular Reward Machines},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {972--979},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230368},
doi = {10.3233/FAIA230368},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HahnPSS0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NicolettiLHS23,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {sfPFL: {A} Probabilistic Logic for Fault Trees},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {199--221},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_13},
doi = {10.1007/978-3-031-27481-7\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/NicolettiLHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DhonthiHH23,
author = {Akshay Dhonthi and
Ernst Moritz Hahn and
Vahid Hashemi},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Backdoor Mitigation in Deep Neural Networks via Strategic Retraining},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {635--647},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_37},
doi = {10.1007/978-3-031-27481-7\_37},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DhonthiHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SaaltinkN0HS23,
author = {Caz Saaltink and
Stefano M. Nicoletti and
Matthias Volk and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified {SAT}},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
pages = {48--59},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503.3623535},
doi = {10.1145/3623503.3623535},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NicolettiLHS23,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {sfATM: {A} Logic for Quantitative Security Properties on Attack Trees},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {205--225},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_12},
doi = {10.1007/978-3-031-47115-5\_12},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/NicolettiLHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSSTW23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {527--545},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_27},
doi = {10.1007/978-3-031-30823-9\_27},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-17314,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {{PFL:} a Probabilistic Logic for Fault Trees},
journal = {CoRR},
volume = {abs/2303.17314},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.17314},
doi = {10.48550/ARXIV.2303.17314},
eprinttype = {arXiv},
eprint = {2303.17314},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-17314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08330,
author = {Ying Liu and
Andrea Turrini and
Ernst Moritz Hahn and
Bai Xue and
Lijun Zhang},
title = {Scenario Approach for Parametric Markov Models},
journal = {CoRR},
volume = {abs/2304.08330},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08330},
doi = {10.48550/ARXIV.2304.08330},
eprinttype = {arXiv},
eprint = {2304.08330},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07469,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Reward Machines},
journal = {CoRR},
volume = {abs/2308.07469},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07469},
doi = {10.48550/ARXIV.2308.07469},
eprinttype = {arXiv},
eprint = {2308.07469},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-09231,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {{ATM:} a Logic for Quantitative Security Properties on Attack Trees},
journal = {CoRR},
volume = {abs/2309.09231},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.09231},
doi = {10.48550/ARXIV.2309.09231},
eprinttype = {arXiv},
eprint = {2309.09231},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04009,
author = {Akshay Dhonthi and
Marcello Eiermann and
Ernst Moritz Hahn and
Vahid Hashemi},
title = {{AGNES:} Abstraction-guided Framework for Deep Neural Networks Security},
journal = {CoRR},
volume = {abs/2311.04009},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04009},
doi = {10.48550/ARXIV.2311.04009},
eprinttype = {arXiv},
eprint = {2311.04009},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08602,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Decision Processes},
journal = {CoRR},
volume = {abs/2312.08602},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08602},
doi = {10.48550/ARXIV.2312.08602},
eprinttype = {arXiv},
eprint = {2312.08602},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiTHSZ22,
author = {Meilun Li and
Andrea Turrini and
Ernst Moritz Hahn and
Zhikun She and
Lijun Zhang},
title = {Probabilistic Preference Planning Problem for Markov Decision Processes},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {5},
pages = {1545--1559},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3024215},
doi = {10.1109/TSE.2020.3024215},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LiTHSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSSTW22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {An Impossibility Result in Automata-Theoretic Reinforcement Learning},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {42--57},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_3},
doi = {10.1007/978-3-031-19992-9\_3},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/HahnPSSTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSSTW22a,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Alternating Good-for-MDPs Automata},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {303--319},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_19},
doi = {10.1007/978-3-031-19992-9\_19},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/HahnPSSTW22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NicolettiHS22,
author = {Stefano M. Nicoletti and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {{BFL:} a Logic to Reason about Fault Trees},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Baltimore, MD, USA, June 27-30, 2022},
pages = {441--452},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN53405.2022.00051},
doi = {10.1109/DSN53405.2022.00051},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/NicolettiHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HahnPSSTW22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Reinforcement Learning with Guarantees that Hold for Ever},
booktitle = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
pages = {3--7},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1\_1},
doi = {10.1007/978-3-031-15008-1\_1},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HahnPSSTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HahnPSS0W22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Recursive Reinforcement Learning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/e6f8759254d86ea9c197d30b92b313ca-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HahnPSS0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FuHLSSTZ22,
author = {Chen Fu and
Ernst Moritz Hahn and
Yong Li and
Sven Schewe and
Meng Sun and
Andrea Turrini and
Lijun Zhang},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {{EPMC} Gets Knowledge in Multi-agent Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {93--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_5},
doi = {10.1007/978-3-030-94583-1\_5},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/FuHLSSTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03243,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Alternating Good-for-MDP Automata},
journal = {CoRR},
volume = {abs/2205.03243},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03243},
doi = {10.48550/ARXIV.2205.03243},
eprinttype = {arXiv},
eprint = {2205.03243},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11430,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Recursive Reinforcement Learning},
journal = {CoRR},
volume = {abs/2206.11430},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11430},
doi = {10.48550/ARXIV.2206.11430},
eprinttype = {arXiv},
eprint = {2206.11430},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13424,
author = {Stefano M. Nicoletti and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {{BFL:} a Logic to Reason about Fault Trees},
journal = {CoRR},
volume = {abs/2208.13424},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13424},
doi = {10.48550/ARXIV.2208.13424},
eprinttype = {arXiv},
eprint = {2208.13424},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07278,
author = {Akshay Dhonthi and
Ernst Moritz Hahn and
Vahid Hashemi},
title = {Backdoor Mitigation in Deep Neural Networks via Strategic Retraining},
journal = {CoRR},
volume = {abs/2212.07278},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07278},
doi = {10.48550/ARXIV.2212.07278},
eprinttype = {arXiv},
eprint = {2212.07278},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnPSSTW20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Model-Free Reinforcement Learning for Branching Markov Decision Processes},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {651--673},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_30},
doi = {10.1007/978-3-030-81688-9\_30},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnPSSTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HahnPSSTW21,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Model-Free Reinforcement Learning for Lexicographic Omega-Regular
Objectives},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {142--159},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_8},
doi = {10.1007/978-3-030-90870-6\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HahnPSSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HahnH21,
author = {Ernst Moritz Hahn and
Arnd Hartmanns},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Symblicit exploration and elimination for probabilistic model checking},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1798--1806},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442052},
doi = {10.1145/3412841.3442052},
timestamp = {Mon, 03 May 2021 14:34:56 +0200},
biburl = {https://dblp.org/rec/conf/sac/HahnH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/StoelingaKNBH21,
author = {Mari{\"{e}}lle Stoelinga and
Christina Kolb and
Stefano M. Nicoletti and
Carlos E. Budde and
Ernst Moritz Hahn},
editor = {Alfons Laarman and
Ana Sokolova},
title = {The Marriage Between Safety and Cybersecurity: Still Practicing},
booktitle = {Model Checking Software - 27th International Symposium, {SPIN} 2021,
Virtual Event, July 12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12864},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-84629-9\_1},
doi = {10.1007/978-3-030-84629-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/StoelingaKNBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06777,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Model-free Reinforcement Learning for Branching Markov Decision Processes},
journal = {CoRR},
volume = {abs/2106.06777},
year = {2021},
url = {https://arxiv.org/abs/2106.06777},
eprinttype = {arXiv},
eprint = {2106.06777},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-09161,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Mungojerrie: Reinforcement Learning of Linear-Time Objectives},
journal = {CoRR},
volume = {abs/2106.09161},
year = {2021},
url = {https://arxiv.org/abs/2106.09161},
eprinttype = {arXiv},
eprint = {2106.09161},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-09161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Faithful and Effective Reward Schemes for Model-Free Reinforcement
Learning of Omega-Regular Objectives},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {108--124},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_6},
doi = {10.1007/978-3-030-59152-6\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Model-Free Reinforcement Learning for Stochastic Parity Games},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.21},
doi = {10.4230/LIPICS.CONCUR.2020.21},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Armin Biere and
David Parker},
title = {Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement
Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {306--323},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_17},
doi = {10.1007/978-3-030-45190-5\_17},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04289,
author = {Ernst Moritz Hahn and
Arnd Hartmanns},
title = {Symblicit Exploration and Elimination for Probabilistic Model Checking},
journal = {CoRR},
volume = {abs/2001.04289},
year = {2020},
url = {https://arxiv.org/abs/2001.04289},
eprinttype = {arXiv},
eprint = {2001.04289},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05977,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Reward Shaping for Reinforcement Learning with Omega-Regular Objectives},
journal = {CoRR},
volume = {abs/2001.05977},
year = {2020},
url = {https://arxiv.org/abs/2001.05977},
eprinttype = {arXiv},
eprint = {2001.05977},
timestamp = {Mon, 20 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/HahnHHLT19,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
title = {Interval Markov Decision Processes with Multiple Objectives: From
Robust Strategies to Pareto Curves},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {29},
number = {4},
pages = {27:1--27:31},
year = {2019},
url = {https://doi.org/10.1145/3309683},
doi = {10.1145/3309683},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tomacs/HahnHHLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbateBCDFHHMOPR19,
author = {Alessandro Abate and
Henk A. P. Blom and
Nathalie Cauchi and
Kurt Degiorgio and
Martin Fr{\"{a}}nzle and
Ernst Moritz Hahn and
Sofie Haesaert and
Hao Ma and
Meeko Oishi and
Carina Pilch and
Anne Remke and
Mahmoud Salamati and
Sadegh Soudjani and
Birgit van Huijgevoort and
Abraham P. Vinod},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Stochastic Modelling},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {62--102},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/f2vb},
doi = {10.29007/F2VB},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/HahnPSS0W19,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Limit reachability for model-free reinforcement learning of {\(\omega\)}-regular
objectives},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {16--18},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313369},
doi = {10.1145/3313149.3313369},
timestamp = {Wed, 23 Mar 2022 15:00:14 +0100},
biburl = {https://dblp.org/rec/conf/snr/HahnPSS0W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnHHKKKPQRS19,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Christian Hensel and
Michaela Klauck and
Joachim Klein and
Jan Kret{\'{\i}}nsk{\'{y}} and
David Parker and
Tim Quatmann and
Enno Ruijters and
Marcel Steinmetz},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal
Models - (QComp 2019 Competition Report)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {69--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_5},
doi = {10.1007/978-3-030-17502-3\_5},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnHHKKKPQRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSSTW19,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Omega-Regular Objectives in Model-Free Reinforcement Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {395--412},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_27},
doi = {10.1007/978-3-030-17462-0\_27},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05081,
author = {Ernst Moritz Hahn and
Mateo Perez and
Fabio Somenzi and
Ashutosh Trivedi and
Sven Schewe and
Dominik Wojtczak},
title = {Good-for-MDPs Automata},
journal = {CoRR},
volume = {abs/1909.05081},
year = {2019},
url = {http://arxiv.org/abs/1909.05081},
eprinttype = {arXiv},
eprint = {1909.05081},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GainerHS18,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Accelerated Model Checking of Parametric Markov Chains},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {300--316},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_18},
doi = {10.1007/978-3-030-01090-4\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/GainerHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GainerHS18,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Incremental Verification of Parametric and Reconfigurable Markov Chains},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {140--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_9},
doi = {10.1007/978-3-319-99154-2\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GainerHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01872,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
title = {Incremental Verification of Parametric and Reconfigurable Markov Chains},
journal = {CoRR},
volume = {abs/1804.01872},
year = {2018},
url = {http://arxiv.org/abs/1804.01872},
eprinttype = {arXiv},
eprint = {1804.01872},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05672,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
title = {Accelerated Model Checking of Parametric Markov Chains},
journal = {CoRR},
volume = {abs/1805.05672},
year = {2018},
url = {http://arxiv.org/abs/1805.05672},
eprinttype = {arXiv},
eprint = {1805.05672},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00950,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Objectives in Model-Free Reinforcement Learning},
journal = {CoRR},
volume = {abs/1810.00950},
year = {2018},
url = {http://arxiv.org/abs/1810.00950},
eprinttype = {arXiv},
eprint = {1810.00950},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FengHTY17,
author = {Yuan Feng and
Ernst Moritz Hahn and
Andrea Turrini and
Shenggang Ying},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Model Checking Omega-regular Properties for Quantum Markov Chains},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {35:1--35:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.35},
doi = {10.4230/LIPICS.CONCUR.2017.35},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/FengHTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HahnHHLT17,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Multi-objective Robust Strategy Synthesis for Interval Markov Decision
Processes},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {207--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_13},
doi = {10.1007/978-3-319-66335-7\_13},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/HahnHHLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HashemiTHHE17,
author = {Vahid Hashemi and
Andrea Turrini and
Ernst Moritz Hahn and
Holger Hermanns and
Khaled M. Elbassioni},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Polynomial-Time Alternating Probabilistic Bisimulation for Interval
MDPs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {25--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_2},
doi = {10.1007/978-3-319-69483-2\_2},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/HashemiTHHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BuddeDHHJT17,
author = {Carlos E. Budde and
Christian Dehnert and
Ernst Moritz Hahn and
Arnd Hartmanns and
Sebastian Junges and
Andrea Turrini},
editor = {Axel Legay and
Tiziana Margaria},
title = {{JANI:} Quantitative Model and Tool Interaction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {151--168},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_9},
doi = {10.1007/978-3-662-54580-5\_9},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BuddeDHHJT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HahnST017,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Synthesising Strategy Improvement and Recursive Algorithms for Solving
2.5 Player Parity Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {266--287},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_15},
doi = {10.1007/978-3-319-52234-0\_15},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HahnST017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnHHLT17,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
title = {Multi-objective Robust Strategy Synthesis for Interval Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1706.06875},
year = {2017},
url = {http://arxiv.org/abs/1706.06875},
eprinttype = {arXiv},
eprint = {1706.06875},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnHHLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnSTZ16,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {A Simple Algorithm for Solving Qualitative Probabilistic Parity Games},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {291--311},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_16},
doi = {10.1007/978-3-319-41540-6\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnSTZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WuHGZL16,
author = {Zhimin Wu and
Ernst Moritz Hahn and
Akin G{\"{u}}nay and
Lijun Zhang and
Yang Liu},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {GPU-Accelerated Value Iteration for the Computation of Reachability
Probabilities in MDPs},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1726--1727},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1726},
doi = {10.3233/978-1-61499-672-9-1726},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/WuHGZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HahnHHT16,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Andrea Turrini},
editor = {Gul Agha and
Benny Van Houdt},
title = {Exploiting Robust Optimization for Interval Probabilistic Bisimulation},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {55--71},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_4},
doi = {10.1007/978-3-319-43425-4\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/HahnHHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HahnH16,
author = {Ernst Moritz Hahn and
Arnd Hartmanns},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {A Comparison of Time- and Reward-Bounded Probabilistic Model Checking
Techniques},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {85--100},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_6},
doi = {10.1007/978-3-319-47677-3\_6},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/HahnH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiLTHZ16,
author = {Yong Li and
Wanwei Liu and
Andrea Turrini and
Ernst Moritz Hahn and
Lijun Zhang},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {An Efficient Synthesis Algorithm for Parametric Markov Chains Against
Linear Time Properties},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {280--296},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_18},
doi = {10.1007/978-3-319-47677-3\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiLTHZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiLTH016,
author = {Yong Li and
Wanwei Liu and
Andrea Turrini and
Ernst Moritz Hahn and
Lijun Zhang},
title = {An Efficient Synthesis Algorithm for Parametric Markov Chains Against
Linear Time Properties},
journal = {CoRR},
volume = {abs/1605.04400},
year = {2016},
url = {http://arxiv.org/abs/1605.04400},
eprinttype = {arXiv},
eprint = {1605.04400},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiLTH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnH16,
author = {Ernst Moritz Hahn and
Arnd Hartmanns},
title = {Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model
Checking},
journal = {CoRR},
volume = {abs/1605.05551},
year = {2016},
url = {http://arxiv.org/abs/1605.05551},
eprinttype = {arXiv},
eprint = {1605.05551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnST016,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
title = {Synthesising Strategy Improvement and Recursive Algorithms for Solving
2.5 Player Parity Games},
journal = {CoRR},
volume = {abs/1607.01474},
year = {2016},
url = {http://arxiv.org/abs/1607.01474},
eprinttype = {arXiv},
eprint = {1607.01474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnST016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/DannenbergHK15,
author = {Frits Dannenberg and
Ernst Moritz Hahn and
Marta Z. Kwiatkowska},
title = {Computing Cumulative Rewards Using Fast Adaptive Uniformization},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {25},
number = {2},
pages = {9:1--9:23},
year = {2015},
url = {https://doi.org/10.1145/2688907},
doi = {10.1145/2688907},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/DannenbergHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/HahnHWB15,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
title = {Transient Reward Approximation for Continuous-Time Markov Chains},
journal = {{IEEE} Trans. Reliab.},
volume = {64},
number = {4},
pages = {1254--1275},
year = {2015},
url = {https://doi.org/10.1109/TR.2015.2449292},
doi = {10.1109/TR.2015.2449292},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/HahnHWB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HahnLST015,
author = {Ernst Moritz Hahn and
Guangyuan Li and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Lazy Probabilistic Model Checking without Determinisation},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {354--367},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.354},
doi = {10.4230/LIPICS.CONCUR.2015.354},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/HahnLST015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FengHTZ15,
author = {Yuan Feng and
Ernst Moritz Hahn and
Andrea Turrini and
Lijun Zhang},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {{QPMC:} {A} Model Checker for Quantum Programs and Protocols},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {265--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_17},
doi = {10.1007/978-3-319-19249-9\_17},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/FengHTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DijkHJLNST015,
author = {Tom van Dijk and
Ernst Moritz Hahn and
David N. Jansen and
Yong Li and
Thomas Neele and
Mari{\"{e}}lle Stoelinga and
Andrea Turrini and
Lijun Zhang},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {A Comparative Study of {BDD} Packages for Probabilistic Symbolic Model
Checking},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {35--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_3},
doi = {10.1007/978-3-319-25942-0\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DijkHJLNST015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HahnHH14,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Holger Hermanns},
title = {Reachability and Reward Checking for Stochastic Timed Automata},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.968},
doi = {10.14279/TUJ.ECEASST.70.968},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HahnHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HahnLSTZ14,
author = {Ernst Moritz Hahn and
Yi Li and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {iscasMc: {A} Web-Based Probabilistic Model Checker},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {312--317},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_22},
doi = {10.1007/978-3-319-06410-9\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HahnLSTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4385,
author = {David Spieler and
Ernst Moritz Hahn and
Lijun Zhang},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Model Checking {CSL} for Markov Population Models},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {93--107},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.7},
doi = {10.4204/EPTCS.154.7},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hahn13a,
author = {Ernst Moritz Hahn},
title = {Model checking stochastic hybrid systems},
school = {Saarland University},
year = {2013},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2013/5259/},
urn = {urn:nbn:de:bsz:291-scidok-52591},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hahn13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HahnHHK13,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {A compositional modelling and analysis framework for stochastic hybrid
systems},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {2},
pages = {191--232},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0167-z},
doi = {10.1007/S10703-012-0167-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HahnHHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaierHHHK13,
author = {Christel Baier and
Ernst Moritz Hahn and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Model checking for performability},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {751--795},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000254},
doi = {10.1017/S0960129512000254},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaierHHHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GaoHZ013,
author = {Yang Gao and
Ernst Moritz Hahn and
Naijun Zhan and
Lijun Zhang},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {{CCMC:} {A} Conditional {CSL} Model Checker for Continuous-Time Markov
Chains},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {464--468},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_36},
doi = {10.1007/978-3-319-02444-8\_36},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GaoHZ013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DannenbergHK13,
author = {Frits Dannenberg and
Ernst Moritz Hahn and
Marta Z. Kwiatkowska},
editor = {Ashutosh Gupta and
Thomas A. Henzinger},
title = {Computing Cumulative Rewards Using Fast Adaptive Uniformisation},
booktitle = {Computational Methods in Systems Biology - 11th International Conference,
{CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8130},
pages = {33--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40708-6\_4},
doi = {10.1007/978-3-642-40708-6\_4},
timestamp = {Mon, 26 Aug 2019 08:02:43 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DannenbergHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HahnH13,
author = {Ernst Moritz Hahn and
Holger Hermanns},
editor = {Calin Belta and
Franjo Ivancic},
title = {Rewarding probabilistic hybrid automata},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {313--322},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461375},
doi = {10.1145/2461328.2461375},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HahnH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenHHKQ013,
author = {Taolue Chen and
Ernst Moritz Hahn and
Tingting Han and
Marta Z. Kwiatkowska and
Hongyang Qu and
Lijun Zhang},
title = {Model Repair for Markov Decision Processes},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.20},
doi = {10.1109/TASE.2013.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChenHHKQ013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnLS013,
author = {Ernst Moritz Hahn and
Guangyuan Li and
Sven Schewe and
Lijun Zhang},
title = {Lazy Determinisation for Quantitative Model Checking},
journal = {CoRR},
volume = {abs/1311.2928},
year = {2013},
url = {http://arxiv.org/abs/1311.2928},
eprinttype = {arXiv},
eprint = {1311.2928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnLS013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/0001SRHH12,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
title = {Safety Verification for Probabilistic Hybrid Systems},
journal = {Eur. J. Control},
volume = {18},
number = {6},
pages = {572--587},
year = {2012},
url = {https://doi.org/10.3166/ejc.18.572-587},
doi = {10.3166/EJC.18.572-587},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/0001SRHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FioritiHHW12,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Variable Probabilistic Abstraction Refinement},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {300--316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_24},
doi = {10.1007/978-3-642-33386-6\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FioritiHHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1251,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
title = {Transient Reward Approximation for Grids, Crowds, and Viruses},
journal = {CoRR},
volume = {abs/1212.1251},
year = {2012},
url = {http://arxiv.org/abs/1212.1251},
eprinttype = {arXiv},
eprint = {1212.1251},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/KatoenZHHJ11,
author = {Joost{-}Pieter Katoen and
Ivan S. Zapreev and
Ernst Moritz Hahn and
Holger Hermanns and
David N. Jansen},
title = {The ins and outs of the probabilistic model checker {MRMC}},
journal = {Perform. Evaluation},
volume = {68},
number = {2},
pages = {90--104},
year = {2011},
url = {https://doi.org/10.1016/j.peva.2010.04.001},
doi = {10.1016/J.PEVA.2010.04.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/KatoenZHHJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HahnHZ11,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
title = {Probabilistic reachability for parametric Markov models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {1},
pages = {3--19},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0146-x},
doi = {10.1007/S10009-010-0146-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HahnHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11,
author = {Pepijn Crouzen and
Ernst Moritz Hahn and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel and
Ralf Wimmer and
Bettina Braitling and
Bernd Becker},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Bounded Fairness for Probabilistic Distributed Algorithms},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {89--97},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.21},
doi = {10.1109/ACSD.2011.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BuchholzHHZ11,
author = {Peter Buchholz and
Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Model Checking Algorithms for CTMDPs},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {225--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_19},
doi = {10.1007/978-3-642-22110-1\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BuchholzHHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FranzleHHWZ11,
author = {Martin Fr{\"{a}}nzle and
Ernst Moritz Hahn and
Holger Hermanns and
Nicol{\'{a}}s Wolovick and
Lijun Zhang},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Measurability and safety verification for stochastic hybrid systems},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {43--52},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967710},
doi = {10.1145/1967701.1967710},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FranzleHHWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WimmerHHB11,
author = {Ralf Wimmer and
Ernst Moritz Hahn and
Holger Hermanns and
Bernd Becker},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Reachability analysis for incomplete networks of Markov decision processes},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {151--160},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970522},
doi = {10.1109/MEMCOD.2011.5970522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/WimmerHHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HahnHZ11,
author = {Ernst Moritz Hahn and
Tingting Han and
Lijun Zhang},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Synthesis for {PCTL} in Parametric Markov Decision Processes},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {146--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_12},
doi = {10.1007/978-3-642-20398-5\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HahnHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HahnNPWZ11,
author = {Ernst Moritz Hahn and
Gethin Norman and
David Parker and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
title = {Game-based Abstraction and Controller Synthesis for Probabilistic
Hybrid Systems},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.17},
doi = {10.1109/QEST.2011.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/HahnNPWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangSRHH10,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Safety Verification for Probabilistic Hybrid Systems},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {196--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_21},
doi = {10.1007/978-3-642-14295-6\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhangSRHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnHWZ10,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {{PARAM:} {A} Model Checker for Parametric Markov Models},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {660--664},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_56},
doi = {10.1007/978-3-642-14295-6\_56},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnHWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10,
author = {Ralf Wimmer and
Bettina Braitling and
Bernd Becker and
Ernst Moritz Hahn and
Pepijn Crouzen and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel},
title = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
Systems},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.12},
doi = {10.1109/QEST.2010.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CalinCDHZ10,
author = {Georgel Calin and
Pepijn Crouzen and
Pedro R. D'Argenio and
Ernst Moritz Hahn and
Lijun Zhang},
editor = {Jaco van de Pol and
Michael Weber},
title = {Time-Bounded Reachability in Distributed Input/Output Interactive
Probabilistic Chains},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {193--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_15},
doi = {10.1007/978-3-642-16164-3\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/CalinCDHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnHWZ10,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{PASS:} Abstraction Refinement for Infinite Probabilistic Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {353--357},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_30},
doi = {10.1007/978-3-642-12002-2\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnHWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HahnHWZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
title = {Time-Bounded Model Checking of Infinite-State Continuous-Time Markov
Chains},
journal = {Fundam. Informaticae},
volume = {95},
number = {1},
pages = {129--155},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-145},
doi = {10.3233/FI-2009-145},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HahnHWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnHWZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{INFAMY:} An Infinite-State Markov Model Checker},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {641--647},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_49},
doi = {10.1007/978-3-642-02658-4\_49},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnHWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KatoenZHHJ09,
author = {Joost{-}Pieter Katoen and
Ivan S. Zapreev and
Ernst Moritz Hahn and
Holger Hermanns and
David N. Jansen},
title = {The Ins and Outs of the Probabilistic Model Checker {MRMC}},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.11},
doi = {10.1109/QEST.2009.11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/KatoenZHHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HahnHZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
editor = {Corina S. Pasareanu},
title = {Probabilistic Reachability for Parametric Markov Models},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {88--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_10},
doi = {10.1007/978-3-642-02652-2\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HahnHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ZhangHHW08,
author = {Lijun Zhang and
Holger Hermanns and
Ernst Moritz Hahn and
Bj{\"{o}}rn Wachter},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {Time-bounded model checking of infinite-state continuous-time Markov
chains},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {98--107},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574601},
doi = {10.1109/ACSD.2008.4574601},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/ZhangHHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PeikenkampCVBPH06,
author = {Thomas Peikenkamp and
Antonella Cavallo and
Laura Valacca and
Eckard B{\"{o}}de and
Matthias Pretzer and
Ernst Moritz Hahn},
editor = {Janusz G{\'{o}}rski},
title = {Towards a Unified Model-Based Safety Assessment},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
{SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4166},
pages = {275--288},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875567\_21},
doi = {10.1007/11875567\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PeikenkampCVBPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
