Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Kretínský
@inproceedings{DBLP:conf/tacas/BorkCGKM24,
author = {Alexander Bork and
Debraj Chakraborty and
Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Learning Explainable and Better Performing Representations of {POMDP}
Strategies},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {299--319},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_15},
doi = {10.1007/978-3-031-57249-4\_15},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BorkCGKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07656,
author = {Alexander Bork and
Debraj Chakraborty and
Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
title = {Learning Explainable and Better Performing Representations of {POMDP}
Strategies},
journal = {CoRR},
volume = {abs/2401.07656},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.07656},
doi = {10.48550/ARXIV.2401.07656},
eprinttype = {arXiv},
eprint = {2401.07656},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-07656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-09184,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Kwiatkowska and
Tobias Meggendorfer and
David Parker and
Mateusz Ujma},
title = {Learning Algorithms for Verification of Markov Decision Processes},
journal = {CoRR},
volume = {abs/2403.09184},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09184},
doi = {10.48550/ARXIV.2403.09184},
eprinttype = {arXiv},
eprint = {2403.09184},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JungermannKW23,
author = {Florian J{\"{u}}ngermann and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Algebraically explainable controllers: decision trees and support
vector machines join forces},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {249--266},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00716-z},
doi = {10.1007/S10009-023-00716-Z},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JungermannKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChauKM23,
author = {Calvin Chau and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Syntactic vs Semantic Linear Abstraction and Refinement of Neural
Networks},
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 = {401--421},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_19},
doi = {10.1007/978-3-031-45329-8\_19},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChauKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KretinskyMPR23,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Prokop and
Sabine Rieder},
editor = {Constantin Enea and
Akash Lal},
title = {Guessing Winning Policies in {LTL} Synthesis by Semantic Learning},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {390--414},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_20},
doi = {10.1007/978-3-031-37706-8\_20},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/KretinskyMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HashemiKRS23,
author = {Vahid Hashemi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Sabine Rieder and
Jessica Schmidt},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Runtime Monitoring for Out-of-Distribution Detection in Object Detection
Neural Networks},
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 = {622--634},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_36},
doi = {10.1007/978-3-031-27481-7\_36},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HashemiKRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DorfhuberEK23,
author = {Florian Dorfhuber and
Julia Eisentraut and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Learning Attack Trees by Genetic Algorithms},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {55--73},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_5},
doi = {10.1007/978-3-031-47963-2\_5},
timestamp = {Fri, 01 Dec 2023 18:39:19 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DorfhuberEK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KretinskyMW23,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Weininger},
title = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
Objectives},
booktitle = {{LICS}},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175771},
doi = {10.1109/LICS56636.2023.10175771},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KretinskyMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/JansenKKL23,
author = {Nils Jansen and
Bettina K{\"{o}}nighofer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen},
editor = {Bernhard Steffen},
title = {Welcome Remarks from AISoLA 2023/Track {C2} Chairs},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {25--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_2},
doi = {10.1007/978-3-031-46002-9\_2},
timestamp = {Sun, 07 Jan 2024 14:24:23 +0100},
biburl = {https://dblp.org/rec/conf/vecos/JansenKKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09930,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Weininger},
title = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
Objectives},
journal = {CoRR},
volume = {abs/2304.09930},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09930},
doi = {10.48550/ARXIV.2304.09930},
eprinttype = {arXiv},
eprint = {2304.09930},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15109,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Prokop and
Sabine Rieder},
title = {Guessing Winning Policies in {LTL} Synthesis by Semantic Learning},
journal = {CoRR},
volume = {abs/2305.15109},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15109},
doi = {10.48550/ARXIV.2305.15109},
eprinttype = {arXiv},
eprint = {2305.15109},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16752,
author = {Severin Bals and
Alexandros Evangelidis and
Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jakob Waibel},
title = {{MULTIGAIN} 2.0: {MDP} controller synthesis for multiple mean-payoff,
{LTL} and steady-state constraints},
journal = {CoRR},
volume = {abs/2305.16752},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16752},
doi = {10.48550/ARXIV.2305.16752},
eprinttype = {arXiv},
eprint = {2305.16752},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10891,
author = {Calvin Chau and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
title = {Syntactic vs Semantic Linear Abstraction and Refinement of Neural
Networks},
journal = {CoRR},
volume = {abs/2307.10891},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10891},
doi = {10.48550/ARXIV.2307.10891},
eprinttype = {arXiv},
eprint = {2307.10891},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KretinskyMWW22,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Clara Waldmann and
Maximilian Weininger},
title = {Index appearance record with preorders},
journal = {Acta Informatica},
volume = {59},
number = {5},
pages = {585--618},
year = {2022},
url = {https://doi.org/10.1007/s00236-021-00412-y},
doi = {10.1007/S00236-021-00412-Y},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/KretinskyMWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EisentrautKKW22,
author = {Julia Eisentraut and
Edon Kelmendi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Value iteration for simple stochastic games: Stopping criterion and
learning algorithm},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104886},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104886},
doi = {10.1016/J.IC.2022.104886},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/EisentrautKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KretinskyRSW22,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Alexander Slivinskiy and
Maximilian Weininger},
title = {Comparison of algorithms for simple stochastic games},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104885},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104885},
doi = {10.1016/J.IC.2022.104885},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KretinskyRSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EsparzaKRS22,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
title = {From linear temporal logic and limit-deterministic B{\"{u}}chi
automata to deterministic parity automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {4},
pages = {635--659},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00663-1},
doi = {10.1007/S10009-022-00663-1},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EsparzaKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AzeemEKSW22,
author = {Muqsit Azeem and
Alexandros Evangelidis and
Jan Kret{\'{\i}}nsk{\'{y}} and
Alexander Slivinskiy and
Maximilian Weininger},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Optimistic and Topological Value Iteration for Simple Stochastic Games},
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 = {285--302},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_18},
doi = {10.1007/978-3-031-19992-9\_18},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AzeemEKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Chodil0K22,
author = {Miroslav Chodil and
Anton{\'{\i}}n Kucera and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Satisfiability of Quantitative Probabilistic {CTL:} Rise to the Challenge},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {364--387},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_18},
doi = {10.1007/978-3-031-22337-2\_18},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Chodil0K22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AgarwalGKM22,
author = {Chaitanya Agarwal and
Shibashis Guha and
Jan Kret{\'{\i}}nsk{\'{y}} and
Pazhamalai Muruganandham},
editor = {Sharon Shoham and
Yakir Vizel},
title = {{PAC} Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time
{MDP}},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {3--25},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_1},
doi = {10.1007/978-3-031-13188-2\_1},
timestamp = {Tue, 09 Aug 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/cav/AgarwalGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HelfrichCKM22,
author = {Martin Helfrich and
Milan Ceska and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefan Marticek},
editor = {Ion Petre and
Andrei Paun},
title = {Abstraction-Based Segmental Simulation of Chemical Reaction Networks},
booktitle = {Computational Methods in Systems Biology - 20th International Conference,
{CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13447},
pages = {41--60},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15034-0\_3},
doi = {10.1007/978-3-031-15034-0\_3},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/HelfrichCKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GroverKMW22,
author = {Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Weininger},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Anytime Guarantees for Reachability in Uncountable Markov Decision
Processes},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {11:1--11:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.11},
doi = {10.4230/LIPICS.CONCUR.2022.11},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/GroverKMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KiesbyeGAK22,
author = {Jonis Kiesbye and
Kush Grover and
Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Planning via model checking with decision-tree controllers},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {4347--4354},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9811980},
doi = {10.1109/ICRA46639.2022.9811980},
timestamp = {Wed, 20 Jul 2022 18:22:23 +0200},
biburl = {https://dblp.org/rec/conf/icra/KiesbyeGAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BortolussiGKN22,
author = {Luca Bortolussi and
Giuseppe Maria Gallo and
Jan Kret{\'{\i}}nsk{\'{y}} and
Laura Nenzi},
editor = {Dana Fisman and
Grigore Rosu},
title = {Learning Model Checking and the Kernel Trick for Signal Temporal Logic
on Stochastic Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {281--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_15},
doi = {10.1007/978-3-030-99524-9\_15},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BortolussiGKN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09928,
author = {Luca Bortolussi and
Giuseppe Maria Gallo and
Jan Kret{\'{\i}}nsk{\'{y}} and
Laura Nenzi},
title = {Learning Model Checking and the Kernel Trick for Signal Temporal Logic
on Stochastic Processes},
journal = {CoRR},
volume = {abs/2201.09928},
year = {2022},
url = {https://arxiv.org/abs/2201.09928},
eprinttype = {arXiv},
eprint = {2201.09928},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01465,
author = {Chaitanya Agarwal and
Shibashis Guha and
Jan Kret{\'{\i}}nsk{\'{y}} and
M. Pazhamalai},
title = {{PAC} Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time
{MDP}},
journal = {CoRR},
volume = {abs/2206.01465},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01465},
doi = {10.48550/ARXIV.2206.01465},
eprinttype = {arXiv},
eprint = {2206.01465},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06677,
author = {Martin Helfrich and
Milan Ceska and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefan Marticek},
title = {Abstraction-Based Segmental Simulation of Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2206.06677},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06677},
doi = {10.48550/ARXIV.2206.06677},
eprinttype = {arXiv},
eprint = {2206.06677},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13660,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Weininger},
title = {Satisfiability Bounds for {\(\omega\)}-Regular Properties in Bounded-Parameter
Markov Decision Processes},
journal = {CoRR},
volume = {abs/2207.13660},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13660},
doi = {10.48550/ARXIV.2207.13660},
eprinttype = {arXiv},
eprint = {2207.13660},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-14417,
author = {Muqsit Azeem and
Alexandros Evangelidis and
Jan Kret{\'{\i}}nsk{\'{y}} and
Alexander Slivinskiy and
Maximilian Weininger},
title = {Optimistic and Topological Value Iteration for Simple Stochastic Games},
journal = {CoRR},
volume = {abs/2207.14417},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.14417},
doi = {10.48550/ARXIV.2207.14417},
eprinttype = {arXiv},
eprint = {2207.14417},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-14417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12804,
author = {Florian J{\"{u}}ngermann and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Algebraically Explainable Controllers: Decision Trees and Support
Vector Machines Join Forces},
journal = {CoRR},
volume = {abs/2208.12804},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12804},
doi = {10.48550/ARXIV.2208.12804},
eprinttype = {arXiv},
eprint = {2208.12804},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07773,
author = {Vahid Hashemi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Sabine Rieder and
Jessica Schmidt},
title = {Runtime Monitoring for Out-of-Distribution Detection in Object Detection
Neural Networks},
journal = {CoRR},
volume = {abs/2212.07773},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07773},
doi = {10.48550/ARXIV.2212.07773},
eprinttype = {arXiv},
eprint = {2212.07773},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Kress-GazitEHAA21,
author = {Hadas Kress{-}Gazit and
Kerstin Eder and
Guy Hoffman and
Henny Admoni and
Brenna Argall and
R{\"{u}}diger Ehlers and
Christoffer Heckman and
Nils Jansen and
Ross A. Knepper and
Jan Kret{\'{\i}}nsk{\'{y}} and
Shelly Levy{-}Tzedek and
Jamy Li and
Todd D. Murphey and
Laurel D. Riek and
Dorsa Sadigh},
title = {Formalizing and guaranteeing human-robot interaction},
journal = {Commun. {ACM}},
volume = {64},
number = {9},
pages = {78--84},
year = {2021},
url = {https://doi.org/10.1145/3433637},
doi = {10.1145/3433637},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WeiningerGMK21,
author = {Maximilian Weininger and
Kush Grover and
Shruti Misra and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {3786--3793},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683447},
doi = {10.1109/CDC45484.2021.9683447},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WeiningerGMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaKKW21,
author = {Javier Esparza and
Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
editor = {Serge Haddad and
Daniele Varacca},
title = {Enforcing {\(\omega\)}-Regular Properties in Markov Chains by Restarting},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {5:1--5:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.5},
doi = {10.4230/LIPICS.CONCUR.2021.5},
timestamp = {Fri, 13 Aug 2021 16:29:32 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaKKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/EisentrautHKKPW21,
author = {Julia Eisentraut and
Stephan Holzer and
Katharina Klioba and
Jan Kret{\'{\i}}nsk{\'{y}} and
Lukas Pin and
Alexander Wagner},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {Assessing Security of Cryptocurrencies with Attack-Defense Trees:
Proof of Concept and Future Directions},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {214--234},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_13},
doi = {10.1007/978-3-030-85315-0\_13},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/EisentrautHKKPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kretinsky21,
author = {Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Zhi{-}Hua Zhou},
title = {LTL-Constrained Steady-State Policy Synthesis},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4104--4111},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/565},
doi = {10.24963/IJCAI.2021/565},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kretinsky21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/GroverBTK21,
author = {Kush Grover and
Fernando S. Barbosa and
Jana Tumova and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Dylan A. Shell and
Marc Toussaint and
M. Ani Hsieh},
title = {Semantic Abstraction-Guided Motion Planning for scLTL Missions in
Unknown Environments},
booktitle = {Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021},
year = {2021},
url = {https://doi.org/10.15607/RSS.2021.XVII.090},
doi = {10.15607/RSS.2021.XVII.090},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rss/GroverBTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HashemiKMS21,
author = {Vahid Hashemi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr and
Emmanouil Seferis},
editor = {Lu Feng and
Dana Fisman},
title = {Gaussian-Based Runtime Detection of Out-of-distribution Inputs for
Neural Networks},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {254--264},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_14},
doi = {10.1007/978-3-030-88494-9\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/HashemiKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AshokJKWWY21,
author = {Pranav Ashok and
Mathias Jackermeier and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph Weinhuber and
Maximilian Weininger and
Mayank Yadav},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {dtControl 2.0: Explainable Strategy Representation via Decision Tree
Learning Steered by Experts},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {326--345},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_17},
doi = {10.1007/978-3-030-72013-1\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AshokJKWWY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07202,
author = {Pranav Ashok and
Mathias Jackermeier and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph Weinhuber and
Maximilian Weininger and
Mayank Yadav},
title = {dtControl 2.0: Explainable Strategy Representation via Decision Tree
Learning Steered by Experts},
journal = {CoRR},
volume = {abs/2101.07202},
year = {2021},
url = {https://arxiv.org/abs/2101.07202},
eprinttype = {arXiv},
eprint = {2101.07202},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14894,
author = {Jan Kret{\'{\i}}nsk{\'{y}}},
title = {LTL-Constrained Steady-State Policy Synthesis},
journal = {CoRR},
volume = {abs/2105.14894},
year = {2021},
url = {https://arxiv.org/abs/2105.14894},
eprinttype = {arXiv},
eprint = {2105.14894},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenesFKLT20,
author = {Nikola Benes and
Uli Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Logical vs. behavioural specifications},
journal = {Inf. Comput.},
volume = {271},
pages = {104487},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104487},
doi = {10.1016/J.IC.2019.104487},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BenesFKLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EsparzaKS20,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {A Unified Translation of Linear Temporal Logic to {\(\omega\)}-Automata},
journal = {J. {ACM}},
volume = {67},
number = {6},
pages = {33:1--33:61},
year = {2020},
url = {https://doi.org/10.1145/3417995},
doi = {10.1145/3417995},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/EsparzaKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KretinskyM20,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
title = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6833},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KretinskyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AshokHKM20,
author = {Pranav Ashok and
Vahid Hashemi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {DeepAbstract: Neural Network Abstraction for Accelerating Verification},
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 = {92--107},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_5},
doi = {10.1007/978-3-030-59152-6\_5},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AshokHKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniHKRW20,
author = {Loris D'Antoni and
Martin Helfrich and
Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Maximilian Weininger},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Automata Tutor v3},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {3--14},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_1},
doi = {10.1007/978-3-030-53291-8\_1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/DAntoniHKRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/0002CK20,
author = {Milan Ceska and
Calvin Chau and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {SeQuaiA: {A} Scalable Tool for Semi-Quantitative Analysis of Chemical
Reaction Networks},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {653--666},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_32},
doi = {10.1007/978-3-030-53288-8\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/0002CK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AshokJJKWZ20,
author = {Pranav Ashok and
Mathias Jackermeier and
Pushpak Jagtap and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger and
Majid Zamani},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {dtControl: decision tree learning algorithms for controller representation},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {17:1--17:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382220},
doi = {10.1145/3365365.3382220},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AshokJJKWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AshokJJKWZ20a,
author = {Pranav Ashok and
Mathias Jackermeier and
Pushpak Jagtap and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger and
Majid Zamani},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {dtControl: decision tree learning algorithms for controller representation},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {30:1--30:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3383468},
doi = {10.1145/3365365.3383468},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AshokJJKWZ20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BuddeHKKPQTZ20,
author = {Carlos E. Budde and
Arnd Hartmanns and
Michaela Klauck and
Jan Kret{\'{\i}}nsk{\'{y}} and
David Parker and
Tim Quatmann and
Andrea Turrini and
Zhen Zhang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Correctness, Precision, and Performance in Quantitative Verification
- QComp 2020 Competition Report},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {216--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_15},
doi = {10.1007/978-3-030-83723-5\_15},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BuddeHKKPQTZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AshokDKW20,
author = {Pranav Ashok and
Przemyslaw Daca and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Statistical Model Checking: Black or White?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {331--349},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_19},
doi = {10.1007/978-3-030-61362-4\_19},
timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
biburl = {https://dblp.org/rec/conf/isola/AshokDKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AshokCKWW20,
author = {Pranav Ashok and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger and
Tobias Winkler},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Approximating Values of Generalized-Reachability Stochastic Games},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {102--115},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394761},
doi = {10.1145/3373718.3394761},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/AshokCKWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/KretinskyMMP20,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Fabian Michel and
Lukas Michel and
Guillermo A. P{\'{e}}rez},
editor = {Ryan P. Adams and
Vibhav Gogate},
title = {Finite-Memory Near-Optimal Learning for Markov Decision Processes
with Long-Run Average Reward},
booktitle = {Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2020, virtual online, August 3-6, 2020},
series = {Proceedings of Machine Learning Research},
volume = {124},
pages = {1149--1158},
publisher = {{AUAI} Press},
year = {2020},
url = {http://proceedings.mlr.press/v124/kretinsky20a.html},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/KretinskyMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10882,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Alexander Slivinskiy and
Maximilian Weininger},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Comparison of Algorithms for Simple Stochastic Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {131--148},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.9},
doi = {10.4204/EPTCS.326.9},
timestamp = {Thu, 10 Dec 2020 15:19:59 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04991,
author = {Pranav Ashok and
Mathias Jackermeier and
Pushpak Jagtap and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger and
Majid Zamani},
title = {dtControl: Decision Tree Learning Algorithms for Controller Representation},
journal = {CoRR},
volume = {abs/2002.04991},
year = {2020},
url = {https://arxiv.org/abs/2002.04991},
eprinttype = {arXiv},
eprint = {2002.04991},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01419,
author = {Loris D'Antoni and
Martin Helfrich and
Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Maximilian Weininger},
title = {Automata Tutor v3},
journal = {CoRR},
volume = {abs/2005.01419},
year = {2020},
url = {https://arxiv.org/abs/2005.01419},
eprinttype = {arXiv},
eprint = {2005.01419},
timestamp = {Sat, 29 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-13735,
author = {Pranav Ashok and
Vahid Hashemi and
Jan Kret{\'{\i}}nsk{\'{y}} and
Stefanie Mohr},
title = {DeepAbstract: Neural Network Abstraction for Accelerating Verification},
journal = {CoRR},
volume = {abs/2006.13735},
year = {2020},
url = {https://arxiv.org/abs/2006.13735},
eprinttype = {arXiv},
eprint = {2006.13735},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-13735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16732,
author = {Hadas Kress{-}Gazit and
Kerstin Eder and
Guy Hoffman and
Henny Admoni and
Brenna Argall and
R{\"{u}}diger Ehlers and
Christoffer Heckman and
Nils Jansen and
Ross A. Knepper and
Jan Kret{\'{\i}}nsk{\'{y}} and
Shelly Levy{-}Tzedek and
Jamy Li and
Todd D. Murphey and
Laurel D. Riek and
Dorsa Sadigh},
title = {Formalizing and Guaranteeing* Human-Robot Interaction},
journal = {CoRR},
volume = {abs/2006.16732},
year = {2020},
url = {https://arxiv.org/abs/2006.16732},
eprinttype = {arXiv},
eprint = {2006.16732},
timestamp = {Tue, 28 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04824,
author = {Kush Grover and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Maximilian Weininger},
title = {An Anytime Algorithm for Reachability on Uncountable {MDP}},
journal = {CoRR},
volume = {abs/2008.04824},
year = {2020},
url = {https://arxiv.org/abs/2008.04824},
eprinttype = {arXiv},
eprint = {2008.04824},
timestamp = {Sun, 16 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09465,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Alexander Slivinskiy and
Maximilian Weininger},
title = {Comparison of Algorithms for Simple Stochastic Games (Full Version)},
journal = {CoRR},
volume = {abs/2008.09465},
year = {2020},
url = {https://arxiv.org/abs/2008.09465},
eprinttype = {arXiv},
eprint = {2008.09465},
timestamp = {Sat, 29 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08347,
author = {Javier Esparza and
Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Online Monitoring {\(\omega\)}-Regular Properties in Unknown Markov
Chains},
journal = {CoRR},
volume = {abs/2010.08347},
year = {2020},
url = {https://arxiv.org/abs/2010.08347},
eprinttype = {arXiv},
eprint = {2010.08347},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-08347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyMM19,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Alexander Manta and
Tobias Meggendorfer},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Semantic Labelling and Learning for Parity Game Solving in {LTL} Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {404--422},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_24},
doi = {10.1007/978-3-030-31784-3\_24},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/KretinskyMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CeskaK19,
author = {Milan Ceska and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {475--496},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_28},
doi = {10.1007/978-3-030-25540-4\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CeskaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AshokKW19,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{PAC} Statistical Model Checking for Markov Decision Processes and
Stochastic Games},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {497--519},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_29},
doi = {10.1007/978-3-030-25540-4\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AshokKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WeiningerMK19,
author = {Maximilian Weininger and
Tobias Meggendorfer and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Satisfiability Bounds for {\(\omega\)}-Regular Properties in Bounded-Parameter
Markov Decision Processes},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {2284--2291},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029460},
doi = {10.1109/CDC40024.2019.9029460},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WeiningerMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/0001K19,
author = {Milan Ceska and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks
(Extended Abstract)},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {337--341},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_22},
doi = {10.1007/978-3-030-31304-3\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/0001K19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KretinskyM19,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.5},
doi = {10.4230/LIPICS.CONCUR.2019.5},
timestamp = {Mon, 18 May 2020 10:45:19 +0200},
biburl = {https://dblp.org/rec/conf/concur/KretinskyM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AshokBCKLT19,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph H. Lampert and
Viktor Toman},
editor = {David Parker and
Verena Wolf},
title = {Strategy Representation by Decision Trees with Linear Classifiers},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {109--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_7},
doi = {10.1007/978-3-030-30281-8\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AshokBCKLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AshokKLCTW19,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Jakob Haahr Taankvist and
Maximilian Weininger},
editor = {David Parker and
Verena Wolf},
title = {{SOS:} Safe, Optimal and Small Strategies for Hybrid Markov Decision
Processes},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {147--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_9},
doi = {10.1007/978-3-030-30281-8\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AshokKLCTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/EisentrautK19,
author = {Julia Eisentraut and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {David Parker and
Verena Wolf},
title = {Expected Cost Analysis of Attack-Defense Trees},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {203--221},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_12},
doi = {10.1007/978-3-030-30281-8\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/EisentrautK19.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}
}
@article{DBLP:journals/corr/abs-1905-04403,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {{PAC} Statistical Model Checking for Markov Decision Processes and
Stochastic Games},
journal = {CoRR},
volume = {abs/1905.04403},
year = {2019},
url = {http://arxiv.org/abs/1905.04403},
eprinttype = {arXiv},
eprint = {1905.04403},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09914,
author = {Milan Ceska and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1905.09914},
year = {2019},
url = {http://arxiv.org/abs/1905.09914},
eprinttype = {arXiv},
eprint = {1905.09914},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06931,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
title = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
journal = {CoRR},
volume = {abs/1906.06931},
year = {2019},
url = {http://arxiv.org/abs/1906.06931},
eprinttype = {arXiv},
eprint = {1906.06931},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08178,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Christoph H. Lampert and
Viktor Toman},
title = {Strategy Representation by Decision Trees with Linear Classifiers},
journal = {CoRR},
volume = {abs/1906.08178},
year = {2019},
url = {http://arxiv.org/abs/1906.08178},
eprinttype = {arXiv},
eprint = {1906.08178},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10640,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Jakob Haahr Taankvist and
Maximilian Weininger},
title = {{SOS:} Safe, Optimal and Small Strategies for Hybrid Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1906.10640},
year = {2019},
url = {http://arxiv.org/abs/1906.10640},
eprinttype = {arXiv},
eprint = {1906.10640},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12157,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Alexander Manta and
Tobias Meggendorfer},
title = {Semantic Labelling and Learning for Parity Game Solving in {LTL} Synthesis},
journal = {CoRR},
volume = {abs/1907.12157},
year = {2019},
url = {http://arxiv.org/abs/1907.12157},
eprinttype = {arXiv},
eprint = {1907.12157},
timestamp = {Sat, 29 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05106,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Approximating Values of Generalized-Reachability Stochastic Games},
journal = {CoRR},
volume = {abs/1908.05106},
year = {2019},
url = {http://arxiv.org/abs/1908.05106},
eprinttype = {arXiv},
eprint = {1908.05106},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08348,
author = {Julia Eisentraut and
Jan Kret{\'{\i}}nsk{\'{y}} and
Alexej Rotar},
title = {Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic
Reachability Games},
journal = {CoRR},
volume = {abs/1909.08348},
year = {2019},
url = {http://arxiv.org/abs/1909.08348},
eprinttype = {arXiv},
eprint = {1909.08348},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/FahrenbergKLT18,
author = {Uli Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Compositionality for quantitative specifications},
journal = {Soft Comput.},
volume = {22},
number = {4},
pages = {1139--1158},
year = {2018},
url = {https://doi.org/10.1007/s00500-017-2519-5},
doi = {10.1007/S00500-017-2519-5},
timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/FahrenbergKLT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AshokBHK18,
author = {Pranav Ashok and
Yuliya Butkova and
Holger Hermanns and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Continuous-Time Markov Decisions Based on Partial Exploration},
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 = {317--334},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_19},
doi = {10.1007/978-3-030-01090-4\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AshokBHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyMS18,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Salomon Sickert},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Owl: {A} Library for {\(\omega\)}-Words, Automata, and {LTL}},
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 = {543--550},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_34},
doi = {10.1007/978-3-030-01090-4\_34},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KretinskyMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KretinskyMSZ18,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Salomon Sickert and
Christopher Ziegler},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Rabinizer 4: From {LTL} to Your Favourite Deterministic Automaton},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {567--577},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_30},
doi = {10.1007/978-3-319-96145-3\_30},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/KretinskyMSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KelmendiKKW18,
author = {Edon Kelmendi and
Julia Kr{\"{a}}mer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Value Iteration for Simple Stochastic Games: Stopping Criterion and
Learning Algorithm},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {623--642},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_36},
doi = {10.1007/978-3-319-96145-3\_36},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KelmendiKKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KretinskyPR18,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Sven Schewe and
Lijun Zhang},
title = {Learning-Based Mean-Payoff Optimization in an Unknown {MDP} under
Omega-Regular Constraints},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.8},
doi = {10.4230/LIPICS.CONCUR.2018.8},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KretinskyPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KretinskyR18,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Alexej Rotar},
editor = {Sven Schewe and
Lijun Zhang},
title = {The Satisfiability Problem for Unbounded Fragments of Probabilistic
{CTL}},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {32:1--32:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.32},
doi = {10.4230/LIPICS.CONCUR.2018.32},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KretinskyR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AshokBKS18,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Jan Kret{\'{\i}}nsk{\'{y}} and
Ondrej Sl{\'{a}}mecka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision
Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {322--335},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_21},
doi = {10.1007/978-3-030-03421-4\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AshokBKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaKS18,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
{\(\omega\)}-Automata},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {384--393},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209161},
doi = {10.1145/3209108.3209161},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EsparzaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KretinskyM18,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Conditional Value-at-Risk for Reachability and Mean Payoff in Markov
Decision Processes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {609--618},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209176},
doi = {10.1145/3209108.3209176},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KretinskyM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrazdilCKT18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Viktor Toman},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Strategy Representation by Decision Trees in Reactive Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {385--407},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_21},
doi = {10.1007/978-3-319-89960-2\_21},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrazdilCKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00758,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Viktor Toman},
title = {Strategy Representation by Decision Trees in Reactive Synthesis},
journal = {CoRR},
volume = {abs/1802.00758},
year = {2018},
url = {http://arxiv.org/abs/1802.00758},
eprinttype = {arXiv},
eprint = {1802.00758},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04901,
author = {Edon Kelmendi and
Julia Kr{\"{a}}mer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Maximilian Weininger},
title = {Value Iteration for Simple Stochastic Games: Stopping Criterion and
Learning Algorithm},
journal = {CoRR},
volume = {abs/1804.04901},
year = {2018},
url = {http://arxiv.org/abs/1804.04901},
eprinttype = {arXiv},
eprint = {1804.04901},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08924,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Learning-Based Mean-Payoff Optimization in an Unknown {MDP} under
Omega-Regular Constraints},
journal = {CoRR},
volume = {abs/1804.08924},
year = {2018},
url = {http://arxiv.org/abs/1804.08924},
eprinttype = {arXiv},
eprint = {1804.08924},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00748,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
{\(\omega\)}-Automata},
journal = {CoRR},
volume = {abs/1805.00748},
year = {2018},
url = {http://arxiv.org/abs/1805.00748},
eprinttype = {arXiv},
eprint = {1805.00748},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02946,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
title = {Conditional Value-at-Risk for Reachability and Mean Payoff in Markov
Decision Processes},
journal = {CoRR},
volume = {abs/1805.02946},
year = {2018},
url = {http://arxiv.org/abs/1805.02946},
eprinttype = {arXiv},
eprint = {1805.02946},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11418,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Alexej Rotar},
title = {The Satisfiability Problem for Unbounded Fragments of Probabilistic
{CTL}},
journal = {CoRR},
volume = {abs/1806.11418},
year = {2018},
url = {http://arxiv.org/abs/1806.11418},
eprinttype = {arXiv},
eprint = {1806.11418},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03296,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Salomon Sickert},
title = {{LTL} Store: Repository of {LTL} formulae from literature and case
studies},
journal = {CoRR},
volume = {abs/1807.03296},
year = {2018},
url = {http://arxiv.org/abs/1807.03296},
eprinttype = {arXiv},
eprint = {1807.03296},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-09641,
author = {Pranav Ashok and
Yuliya Butkova and
Holger Hermanns and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Continuous-Time Markov Decisions based on Partial Exploration},
journal = {CoRR},
volume = {abs/1807.09641},
year = {2018},
url = {http://arxiv.org/abs/1807.09641},
eprinttype = {arXiv},
eprint = {1807.09641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-09641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03299,
author = {Pranav Ashok and
Tom{\'{a}}s Br{\'{a}}zdil and
Jan Kret{\'{\i}}nsk{\'{y}} and
Ondrej Sl{\'{a}}mecka},
title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1809.03299},
year = {2018},
url = {http://arxiv.org/abs/1809.03299},
eprinttype = {arXiv},
eprint = {1809.03299},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/JansenKKK18,
author = {Nils Jansen and
Joost{-}Pieter Katoen and
Pushmeet Kohli and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Machine Learning and Model Checking Join Forces (Dagstuhl Seminar
18121)},
journal = {Dagstuhl Reports},
volume = {8},
number = {3},
pages = {74--93},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.3.74},
doi = {10.4230/DAGREP.8.3.74},
timestamp = {Sat, 29 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/JansenKKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChatterjeeKK17,
author = {Krishnendu Chatterjee and
Zuzana Kret{\'{\i}}nsk{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision
Processes},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:15)2017},
doi = {10.23638/LMCS-13(2:15)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChatterjeeKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DacaHKP17,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
title = {Faster Statistical Model Checking for Unbounded Temporal Properties},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {2},
pages = {12:1--12:25},
year = {2017},
url = {https://doi.org/10.1145/3060139},
doi = {10.1145/3060139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DacaHKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyM17,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {380--399},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_25},
doi = {10.1007/978-3-319-68167-2\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/KretinskyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kretinsky17,
author = {Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {30 Years of Modal Transition Systems: Survey of Extensions and Analysis},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {36--74},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_3},
doi = {10.1007/978-3-319-63121-9\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kretinsky17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AshokCDKM17,
author = {Pranav Ashok and
Krishnendu Chatterjee and
Przemyslaw Daca and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Value Iteration for Long-Run Average Reward in Markov Decision Processes},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {201--221},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_10},
doi = {10.1007/978-3-319-63387-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AshokCDKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EsparzaKRS17,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
editor = {Axel Legay and
Tiziana Margaria},
title = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
Parity Automata},
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 {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {426--442},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_25},
doi = {10.1007/978-3-662-54577-5\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EsparzaKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KretinskyMWW17,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Clara Waldmann and
Maximilian Weininger},
editor = {Axel Legay and
Tiziana Margaria},
title = {Index Appearance Record for Transforming Rabin Automata into Parity
Automata},
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 {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {443--460},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_26},
doi = {10.1007/978-3-662-54577-5\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KretinskyMWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KretinskyMWW17,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer and
Clara Waldmann and
Maximilian Weininger},
title = {Index appearance record for transforming Rabin automata into parity
automata},
journal = {CoRR},
volume = {abs/1701.05738},
year = {2017},
url = {http://arxiv.org/abs/1701.05738},
eprinttype = {arXiv},
eprint = {1701.05738},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KretinskyMWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaKRS17,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Jean{-}Fran{\c{c}}ois Raskin and
Salomon Sickert},
title = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
Parity Automata},
journal = {CoRR},
volume = {abs/1701.06103},
year = {2017},
url = {http://arxiv.org/abs/1701.06103},
eprinttype = {arXiv},
eprint = {1701.06103},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AshokCDKM17,
author = {Pranav Ashok and
Krishnendu Chatterjee and
Przemyslaw Daca and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
title = {Value Iteration for Long-run Average Reward in Markov Decision Processes},
journal = {CoRR},
volume = {abs/1705.02326},
year = {2017},
url = {http://arxiv.org/abs/1705.02326},
eprinttype = {arXiv},
eprint = {1705.02326},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AshokCDKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KretinskyM17,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
title = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
journal = {CoRR},
volume = {abs/1707.01859},
year = {2017},
url = {http://arxiv.org/abs/1707.01859},
eprinttype = {arXiv},
eprint = {1707.01859},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KretinskyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EsparzaKS16,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {From {LTL} to deterministic automata - {A} safraless compositional
approach},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {3},
pages = {219--271},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0259-2},
doi = {10.1007/S10703-016-0259-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/EsparzaKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SickertK16,
author = {Salomon Sickert and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic
B{\"{u}}chi Automata},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {130--137},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_9},
doi = {10.1007/978-3-319-46520-3\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SickertK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SickertEJK16,
author = {Salomon Sickert and
Javier Esparza and
Stefan Jaax and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Limit-Deterministic B{\"{u}}chi Automata for Linear Temporal
Logic},
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 = {312--332},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_17},
doi = {10.1007/978-3-319-41540-6\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SickertEJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DacaHKP16,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Linear Distances between Markov Chains},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {20:1--20:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.20},
doi = {10.4230/LIPICS.CONCUR.2016.20},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/DacaHKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Kretinsky16,
author = {Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Survey of Statistical Verification of Linear Unbounded Properties:
Model Checking and Distances},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {27--45},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_3},
doi = {10.1007/978-3-319-47166-2\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Kretinsky16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DacaHKP16,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Faster Statistical Model Checking for Unbounded Temporal Properties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {112--129},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_7},
doi = {10.1007/978-3-662-49674-9\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DacaHKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DacaHKP16,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
title = {Linear Distances between Markov Chains},
journal = {CoRR},
volume = {abs/1605.00186},
year = {2016},
url = {http://arxiv.org/abs/1605.00186},
eprinttype = {arXiv},
eprint = {1605.00186},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DacaHKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Kretinsky15,
author = {Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Verification of Discrete- and Continuous-Time Non-Deterministic Markovian
Systems (Verifikation von non-deterministischen Markovischen Systemen
mit diskreter oder kontinuierlicher Zeit)},
school = {Technical University of Munich, Germany},
year = {2015},
url = {https://mediatum.ub.tum.de/1166641},
urn = {urn:nbn:de:bvb:91-diss-20131128-1166641-0-1},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Kretinsky15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BenesKLMSS15,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen and
Mikael H. M{\o}ller and
Salomon Sickert and
Jir{\'{\i}} Srba},
title = {Refinement checking on parametric modal transition systems},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {269--297},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0215-4},
doi = {10.1007/S00236-015-0215-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/BenesKLMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilCCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Andreas Fellner and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Counterexample Explanation by Learning Small Strategies in Markov
Decision Processes},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {158--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_10},
doi = {10.1007/978-3-319-21690-4\_10},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrazdilCCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BabiakBDKKM0S15,
author = {Tom{\'{a}}s Babiak and
Frantisek Blahoudek and
Alexandre Duret{-}Lutz and
Joachim Klein and
Jan Kret{\'{\i}}nsk{\'{y}} and
David M{\"{u}}ller and
David Parker and
Jan Strejcek},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {The Hanoi Omega-Automata Format},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {479--486},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_31},
doi = {10.1007/978-3-319-21690-4\_31},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BabiakBDKKM0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BenesDHKN15,
author = {Nikola Benes and
Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Dejan Nickovic},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Complete Composition Operators for IOCO-Testing Theory},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {101--110},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737175},
doi = {10.1145/2737166.2737175},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/BenesDHKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KretinskyLLS15,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Simon Laursen and
Jir{\'{\i}} Srba},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Polynomial Time Decidability of Weighted Synchronization under Partial
Observability},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {142--154},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.142},
doi = {10.4230/LIPICS.CONCUR.2015.142},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KretinskyLLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SvorenovaKCCCB15,
author = {Mar{\'{\i}}a Svorenov{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}} and
Martin Chmelik and
Krishnendu Chatterjee and
Ivana Cern{\'{a}} and
Calin Belta},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Temporal logic control for stochastic linear systems using abstraction
refinement of probabilistic games},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {259--268},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728608},
doi = {10.1145/2728606.2728608},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SvorenovaKCCCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChatterjeeKK15,
author = {Krishnendu Chatterjee and
Zuzana Kom{\'{a}}rkov{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision
Processes},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {244--256},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.32},
doi = {10.1109/LICS.2015.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChatterjeeKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ForejtKK15,
author = {Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Controller Synthesis for MDPs and Frequency LTL\({}_{\mbox{{\textbackslash}GU}}\)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {162--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_12},
doi = {10.1007/978-3-662-48899-7\_12},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ForejtKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeKK15,
author = {Krishnendu Chatterjee and
Zuzana Kom{\'{a}}rkov{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1502.00611},
year = {2015},
url = {http://arxiv.org/abs/1502.00611},
eprinttype = {arXiv},
eprint = {1502.00611},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCFK15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Andreas Fellner and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Counterexample Explanation by Learning Small Strategies in Markov
Decision Processes},
journal = {CoRR},
volume = {abs/1502.02834},
year = {2015},
url = {http://arxiv.org/abs/1502.02834},
eprinttype = {arXiv},
eprint = {1502.02834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DacaHKP15,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
title = {Faster Statistical Model Checking for Unbounded Temporal Properties},
journal = {CoRR},
volume = {abs/1504.05739},
year = {2015},
url = {http://arxiv.org/abs/1504.05739},
eprinttype = {arXiv},
eprint = {1504.05739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DacaHKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ForejtKK15,
author = {Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Controller synthesis for MDPs and Frequency LTL{\textdollar}{\textbackslash}setminus{\textdollar}GU},
journal = {CoRR},
volume = {abs/1509.04116},
year = {2015},
url = {http://arxiv.org/abs/1509.04116},
eprinttype = {arXiv},
eprint = {1509.04116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ForejtKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilCCFKKPU14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Z. Kwiatkowska and
David Parker and
Mateusz Ujma},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Verification of Markov Decision Processes Using Learning Algorithms},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {98--114},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_8},
doi = {10.1007/978-3-319-11936-6\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BrazdilCCFKKPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KomarkovaK14,
author = {Zuzana Kom{\'{a}}rkov{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Rabinizer 3: Safraless Translation of {LTL} to Small Deterministic
Automata},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {235--241},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_17},
doi = {10.1007/978-3-319-11936-6\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KomarkovaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaK14,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
Approach},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {192--208},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_13},
doi = {10.1007/978-3-319-08867-9\_13},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/EsparzaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsKK14,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Probabilistic Bisimulation: Naturally on Distributions},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {249--265},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_18},
doi = {10.1007/978-3-662-44584-6\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/FahrenbergKLT14,
author = {Ulrich Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay and
Louis{-}Marie Traonouez},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Compositionality for Quantitative Specifications},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {306--324},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_19},
doi = {10.1007/978-3-319-15317-9\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/FahrenbergKLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCFKKPU14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Marta Z. Kwiatkowska and
David Parker and
Mateusz Ujma},
title = {Verification of Markov Decision Processes using Learning Algorithms},
journal = {CoRR},
volume = {abs/1402.2967},
year = {2014},
url = {http://arxiv.org/abs/1402.2967},
eprinttype = {arXiv},
eprint = {1402.2967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCFKKPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaK14,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
Approach},
journal = {CoRR},
volume = {abs/1402.3388},
year = {2014},
url = {http://arxiv.org/abs/1402.3388},
eprinttype = {arXiv},
eprint = {1402.3388},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKK14,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Probabilistic Bisimulation: Naturally on Distributions},
journal = {CoRR},
volume = {abs/1404.5084},
year = {2014},
url = {http://arxiv.org/abs/1404.5084},
eprinttype = {arXiv},
eprint = {1404.5084},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergKLT14,
author = {Uli Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Compositionality for Quantitative Specifications},
journal = {CoRR},
volume = {abs/1408.1256},
year = {2014},
url = {http://arxiv.org/abs/1408.1256},
eprinttype = {arXiv},
eprint = {1408.1256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FahrenbergKLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SvorenovaKCCCB14,
author = {Mar{\'{\i}}a Svorenov{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}} and
Martin Chmelik and
Krishnendu Chatterjee and
Ivana Cern{\'{a}} and
Calin Belta},
title = {Temporal Logic Control for Stochastic Linear Systems using Abstraction
Refinement of Probabilistic Games},
journal = {CoRR},
volume = {abs/1410.5387},
year = {2014},
url = {http://arxiv.org/abs/1410.5387},
eprinttype = {arXiv},
eprint = {1410.5387},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SvorenovaKCCCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilFKKK13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Continuous-time stochastic games with time-bounded reachability},
journal = {Inf. Comput.},
volume = {224},
pages = {46--70},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.01.001},
doi = {10.1016/J.IC.2013.01.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilFKKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyL13,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Rusl{\'{a}}n Ledesma{-}Garza},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Rabinizer 2: Small Deterministic Automata for {LTL} {\(\setminus\)}
{GU}},
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 = {446--450},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_32},
doi = {10.1007/978-3-319-02444-8\_32},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/KretinskyL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyS13,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {MoTraS: {A} Tool for Modal Transition Systems and Their Extensions},
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 = {487--491},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_41},
doi = {10.1007/978-3-319-02444-8\_41},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KretinskyS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeGK13,
author = {Krishnendu Chatterjee and
Andreas Gaiser and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Automata with Generalized Rabin Pairs for Probabilistic Model Checking
and {LTL} Synthesis},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {559--575},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_37},
doi = {10.1007/978-3-642-39799-8\_37},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BenesDFKL13,
author = {Nikola Benes and
Beno{\^{\i}}t Delahaye and
Uli Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural
Specification Theory},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {76--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_7},
doi = {10.1007/978-3-642-40184-8\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BenesDFKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsKK13,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Compositional Verification and Optimization of Interactive Markov
Chains},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {364--379},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_26},
doi = {10.1007/978-3-642-40184-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KretinskyS13,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {On Refinements of Boolean and Parametric Modal Transition Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {213--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_13},
doi = {10.1007/978-3-642-39718-9\_13},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KretinskyS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BrazdilKKKR13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Seetharami Seelam and
Petr Tuma and
Giuliano Casale and
Tony Field and
Jos{\'{e}} Nelson Amaral},
title = {On time-average limits in deterministic and stochastic petri nets},
booktitle = {{ACM/SPEC} International Conference on Performance Engineering, ICPE'13,
Prague, Czech Republic - April 21 - 24, 2013},
pages = {421--422},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2479871.2479936},
doi = {10.1145/2479871.2479936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BrazdilKKKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5278,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Salomon Sickert},
title = {On Refinements of Boolean and Parametric Modal Transition Systems},
journal = {CoRR},
volume = {abs/1304.5278},
year = {2013},
url = {http://arxiv.org/abs/1304.5278},
eprinttype = {arXiv},
eprint = {1304.5278},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5281,
author = {Krishnendu Chatterjee and
Andreas Gaiser and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Automata with Generalized Rabin Pairs for Probabilistic Model Checking
and {LTL} Synthesis},
journal = {CoRR},
volume = {abs/1304.5281},
year = {2013},
url = {http://arxiv.org/abs/1304.5281},
eprinttype = {arXiv},
eprint = {1304.5281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKK13,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Compositional Verification and Optimization of Interactive Markov
Chains},
journal = {CoRR},
volume = {abs/1305.7332},
year = {2013},
url = {http://arxiv.org/abs/1305.7332},
eprinttype = {arXiv},
eprint = {1305.7332},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BenesDFKL13,
author = {Nikola Benes and
Beno{\^{\i}}t Delahaye and
Uli Fahrenberg and
Jan Kret{\'{\i}}nsk{\'{y}} and
Axel Legay},
title = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural
Specification Theory},
journal = {CoRR},
volume = {abs/1306.0741},
year = {2013},
url = {http://arxiv.org/abs/1306.0741},
eprinttype = {arXiv},
eprint = {1306.0741},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenesDFKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenesKLS12,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen and
Jir{\'{\i}} Srba},
title = {EXPTIME-completeness of thorough refinement on modal transition systems},
journal = {Inf. Comput.},
volume = {218},
pages = {54--68},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.08.001},
doi = {10.1016/J.IC.2012.08.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenesKLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GaiserKE12,
author = {Andreas Gaiser and
Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Rabinizer: Small Deterministic Automata for LTL(F, {G)}},
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 = {72--76},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_7},
doi = {10.1007/978-3-642-33386-6\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/GaiserKE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KretinskyE12,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Deterministic Automata for the (F, G)-Fragment of {LTL}},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {7--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_7},
doi = {10.1007/978-3-642-31424-7\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KretinskyE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilHKKR12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Verification of Open Interactive Markov Chains},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {474--485},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474},
doi = {10.4230/LIPICS.FSTTCS.2012.474},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BenesK12,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Abhik Roychoudhury and
Meenakshi D'Souza},
title = {Modal Process Rewrite Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7521},
pages = {120--135},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32943-2\_9},
doi = {10.1007/978-3-642-32943-2\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BenesK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BenesKLMS12,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Mikael H. M{\o}ller and
Jir{\'{\i}} Srba},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Dual-Priced Modal Transition Systems with Time Durations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {122--137},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_12},
doi = {10.1007/978-3-642-28717-6\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BenesKLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-5057,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Javier Esparza},
title = {Deterministic Automata for the (F,G)-fragment of {LTL}},
journal = {CoRR},
volume = {abs/1204.5057},
year = {2012},
url = {http://arxiv.org/abs/1204.5057},
eprinttype = {arXiv},
eprint = {1204.5057},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesCK11,
author = {Nikola Benes and
Ivana Cern{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Modal Transition Systems: Composition and {LTL} Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {228--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_17},
doi = {10.1007/978-3-642-24372-1\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BenesCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesKLMS11,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen and
Mikael H. M{\o}ller and
Jir{\'{\i}} Srba},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Parametric Modal Transition Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {275--289},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_20},
doi = {10.1007/978-3-642-24372-1\_20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BenesKLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilKKR11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Fixed-Delay Events in Generalized Semi-Markov Processes Revisited},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {140--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_10},
doi = {10.1007/978-3-642-23217-6\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilKKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrazdilKKKR11,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Measuring performance of continuous-time stochastic processes using
timed automata},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {33--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967709},
doi = {10.1145/1967701.1967709},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrazdilKKKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4204,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
title = {Measuring Performance of Continuous-Time Stochastic Processes using
Timed Automata},
journal = {CoRR},
volume = {abs/1101.4204},
year = {2011},
url = {http://arxiv.org/abs/1101.4204},
eprinttype = {arXiv},
eprint = {1101.4204},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1424,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Fixed-delay Events in Generalized Semi-Markov Processes Revisited},
journal = {CoRR},
volume = {abs/1106.1424},
year = {2011},
url = {http://arxiv.org/abs/1106.1424},
eprinttype = {arXiv},
eprint = {1106.1424},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilKKKR10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Stochastic Real-Time Games with Qualitative Timed Automata Objectives},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {207--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_15},
doi = {10.1007/978-3-642-15375-4\_15},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilKKKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BenesK10,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Ludek Matyska and
Michal Kozubek and
Tom{\'{a}}s Vojnar and
Pavel Zemc{\'{\i}}k and
David Antos},
title = {Process Algebra for Modal Transition Systemses},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
Mikulov, Czech Republic},
series = {OASIcs},
volume = {16},
pages = {9--18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.MEMICS.2010.9},
doi = {10.4230/OASICS.MEMICS.2010.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/BenesK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BenesKLS09,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
title = {On determinism in modal transition systems},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4026--4043},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.009},
doi = {10.1016/J.TCS.2009.06.009},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BenesKLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilFKKK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {61--72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2307},
doi = {10.4230/LIPICS.FSTTCS.2009.2307},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilFKKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BenesKLS09,
author = {Nikola Benes and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Martin Leucker and
Carroll Morgan},
title = {Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {112--126},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_7},
doi = {10.1007/978-3-642-03466-4\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BenesKLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilFKK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {The Satisfiability Problem for Probabilistic {CTL}},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {391--402},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.21},
doi = {10.1109/LICS.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilFKK08.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-15 23:47 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:
