@article{AgarwalGKP25, author = "Agarwal, Chaitanya and Guha, Shibashis and and K{\v{r}}et{\'{i}}nsk{\'y}, Jan and Pazhamalai, M.", title = "PAC statistical model checking of mean payoff in discrete- and continuous-time MDP", journal = "Formal Methods Syst. Des.", volume = "66", number = "2", pages = "195--237", year = "2025", url = "https://doi.org/10.1007/s10703-024-00463-0", doi = "10.1007/S10703-024-00463-0", } @article{brazdil2025learning, author = {Tomas Brazdil 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 = {TheoretiCS}, volume = {4}, year = {2025}, url = {https://doi.org/10.46298/theoretics.25.10}, doi = {10.46298/THEORETICS.25.10}, timestamp = {Wed, 11 Mar 2026 13:25:33 +0100}, biburl = {https://dblp.org/rec/journals/theoretics/BrazdilCCFKKM0U25.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{weinhuber2025explaining, author = {Debraj Chakraborty and Clemens Dubslaff and Sudeep Kanav and Jan Kret{\'{\i}}nsk{\'{y}} and Christoph Weinhuber}, title = {Explaining Control Policies through Predicate Decision Diagrams}, booktitle = {Proceedings of the 28th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2025, Irvine, CA, USA, May 6-9, 2025}, pages = {4:1--4:12}, publisher = {{ACM}}, year = {2025}, url = {https://doi.org/10.1145/3716863.3718049}, doi = {10.1145/3716863.3718049}, } @inproceedings{grobelna2025stopping, author = {Marta Grobelna and Jan Kret{\'{\i}}nsk{\'{y}} and Maximilian Weininger}, title = {Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games}, booktitle = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2025, Singapore, June 23-26, 2025}, pages = {568--580}, publisher = {{IEEE}}, year = {2025}, url = {https://doi.org/10.1109/LICS65433.2025.00049}, doi = {10.1109/LICS65433.2025.00049}, } @inproceedings{rieder2025hidden, author = {Jan Kret{\'{\i}}nsk{\'{y}} and Sabine Rieder and Gesina Schwalbe and Youssef Shoeb}, editor = {Bettina K{\"{o}}nighofer and Hazem Torfah}, title = {Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation}, booktitle = {Runtime Verification - 25th International Conference, {RV} 2025, Graz, Austria, September 15-19, 2025, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {16087}, pages = {274--295}, publisher = {Springer}, year = {2025}, url = {https://doi.org/10.1007/978-3-032-05435-7\_16}, doi = {10.1007/978-3-032-05435-7\_16}, } @inproceedings{prokop2025semml, author = {Jan Kret{\'{\i}}nsk{\'{y}} and Tobias Meggendorfer and Maximilian Prokop and Ashkan Zarkhah}, editor = {Arie Gurfinkel and Marijn Heule}, title = {SemML: Enhancing Automata-Theoretic {LTL} Synthesis with Machine Learning}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, {TACAS} 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {15696}, pages = {233--253}, publisher = {Springer}, year = {2025}, url = {https://doi.org/10.1007/978-3-031-90643-5\_12}, doi = {10.1007/978-3-031-90643-5\_12}, tool = {semml}, area = {ml-ltl}, } @inproceedings{andriushchenkoCCJKM25, author = {Roman Andriushchenko and Milan Ceska and Debraj Chakraborty and Sebastian Junges and Jan Kret{\'{\i}}nsk{\'{y}} and Filip Mac{\'{a}}k}, editor = {Silvia Chiappa and Sara Magliacane}, title = {Symbiotic Local Search for Small Decision Tree Policies in MDPs}, booktitle = {Conference on Uncertainty in Artificial Intelligence, Rio Othon Palace, Rio de Janeiro, Brazil, 21-25 July 2025}, series = {Proceedings of Machine Learning Research}, volume = {286}, pages = {132--148}, publisher = {{PMLR}}, year = {2025}, url = {https://proceedings.mlr.press/v286/andriushchenko25a.html} } @inproceedings{azeem2025123go, author = {Muqsit Azeem and Debraj Chakraborty and Sudeep Kanav and Jan Kret{\'{\i}}nsk{\'{y}} and MohammadSadegh Mohagheghi and Stefanie Mohr and Maximilian Weininger}, editor = {Shankaranarayanan Krishna and Sriram Sankaranarayanan and Ashutosh Trivedi}, title = {1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 26th International Conference, {VMCAI} 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {15530}, pages = {97--120}, publisher = {Springer}, year = {2025}, url = {https://doi.org/10.1007/978-3-031-82703-7\_5}, doi = {10.1007/978-3-031-82703-7\_5}, } @inproceedings{azeem25sound, author = {Muqsit Azeem and Jan Kret{\'{\i}}nsk{\'{y}} and Maximilian Weininger}, editor = {Giorgio Bacci and Adrian Francalanza}, title = {Sound Value Iteration for Simple Stochastic Games}, booktitle = {Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025}, series = {{EPTCS}}, volume = {428}, pages = {29--44}, year = {2025}, month = sep, url = {https://doi.org/10.4204/EPTCS.428.4}, doi = {10.4204/EPTCS.428.4}, } @InProceedings{rieder2024GaussBox, author="Hashemi, Vahid and K{\v{r}}et{\'{i}}nsk{\'y}, Jan and Rieder, Sabine and Sch{\"{o}}n, Torsten and Vorhoff, Jan", editor="{\'A}brah{\'a}m, Erika and Abbas, Houssam", title="Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces", booktitle="RV 2024", year="2024", publisher="Springer Nature Switzerland", address="Cham", pages="218--228", abstract="Since neural networks can make wrong predictions even with high confidence, monitoring their behavior at runtime is important, especially in safety-critical domains like autonomous driving. In this paper, we combine ideas from previous monitoring approaches based on observing the activation values of hidden neurons. In particular, we combine the Gaussian-based approach, which observes whether the current value of each monitored neuron is similar to typical values observed during training, and the Outside-the-Box monitor, which creates clusters of the acceptable activation values, and, thus, considers the correlations of the neurons' values. Our experiments evaluate the achieved improvement.", isbn="978-3-031-74234-7", doi="10.1007/978-3-031-74234-7_14", pdf={https://arxiv.org/pdf/2410.06051}, area = {nn-mon}, } @inproceedings{dorfhuber2024quadtool, title={QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification}, author={Dorfhuber, Florian and Eisentraut, Julia and Klioba, Katharina and K{\v{r}}et{\'\i}nsk{\'{y}}, Jan}, booktitle={International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems}, pages={52--71}, year={2024}, organization={Springer}, area= {ad-trees}, tool={quadtool}, pdf={https://arxiv.org/pdf/2406.15605}, doi={10.1007/978-3-031-68416-6_4}, } @inproceedings{monitizer2024, title={{Monitizer}: Automating Design and Evaluation of Neural Network Monitors}, author={Azeem, Muqsit and Grobelna, Marta and Kanav, Sudeep and K{\v{r}}et{\'\i}nsk{\'y}, Jan and Mohr, Stefanie and Rieder, Sabine}, booktitle={International Conference on Computer Aided Verification}, pages={265--279}, year={2024}, organization={Springer}, tool = {monitizer}, area = {nn-mon}, pdf = {https://doi.org/10.1007/978-3-031-65630-9_14}, doi = {10.1007/978-3-031-65630-9_14}, } @inproceedings{hscc24-multigain, author = {Severin Bals and Alexandros Evangelidis and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Jakob Waibel}, editor = {Erika {\'{A}}brah{\'{a}}m and Manuel Mazo Jr.}, title = {{MULTIGAIN} 2.0: {MDP} controller synthesis for multiple mean-payoff, {LTL} and steady-state constraints{\unicode{10033}}}, booktitle = {Proceedings of the 27th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2024, Hong Kong SAR, China, May 14-16, 2024}, pages = {24:1--24:7}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3641513.3650135}, doi = {10.1145/3641513.3650135}, timestamp = {Fri, 17 May 2024 21:42:12 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BalsEKW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {mo-sdm}, tool = {multigain}, } @InProceedings{tacas24-pomdp, author="Bork, Alexander and Chakraborty, Debraj and Grover, Kush and K{\v{r}}et{\'\i}nsk{\'{y}}, Jan and Mohr, Stefanie", editor="Finkbeiner, Bernd and Kov{\'a}cs, Laura", title="Learning Explainable and Better Performing Representations of POMDP Strategies", booktitle="Tools and Algorithms for the Construction and Analysis of Systems", year="2024", publisher="Springer Nature Switzerland", address="Cham", pages="299--319", abstract="Strategies for partially observable Markov decision processes (POMDP) typically require memory. One way to represent this memory is via automata. We present a method to learn an automaton representation of a strategy using a modification of the L*-algorithm. Compared to the tabular representation of a strategy, the resulting automaton is dramatically smaller and thus also more explainable. Moreover, in the learning process, our heuristics may even improve the strategy's performance. We compare our approach to an existing approach that synthesizes an automaton directly from the POMDP, thereby solving it. Our experiments show that our approach can lead to significant improvements in the size and quality of the resulting strategy representations.", isbn="978-3-031-57249-4", tool = {pomdp}, doi={10.1007/978-3-031-57249-4\_15}, pdf={https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_15.pdf}, area = {cont-auto}, } @inproceedings{dorfhuber2023learning, title={Learning Attack Trees by Genetic Algorithms}, author={Dorfhuber, Florian and Eisentraut, Julia and K{\v{r}}et{\'\i}nsk{\'{y}}, Jan}, booktitle={International Colloquium on Theoretical Aspects of Computing}, pages={55--73}, year={2023}, organization={Springer}, doi={10.1007/978-3-031-47963-2\_5}, area= {ad-trees}, } @article{sttt23-controllers, author = {Florian J{\"{u}}ngermann and Jan K{\v{r}}et{\'{\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 08:59:23 +0100}, biburl = {https://dblp.org/rec/journals/sttt/JungermannKW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {cont-dt}, } @inproceedings{atva2023_linna, author = {Calvin Chau and Jan K{\v{r}}et{\'{\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 = {{ATVA} 2023}, 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 21:13:03 +0100}, biburl = {https://dblp.org/rec/conf/atva/ChauKM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {nn-abs}, tool = {}, pdf={https://arxiv.org/pdf/2307.10891}, } @inproceedings{KiesbyeGK23, author = {Kiesbye, Jonis and Grover, Kush and Křetínský, Jan}, booktitle = {2023 IEEE Aerospace Conference}, dblp_id = {none}, doi = {10.1109/AERO55745.2023.10115801}, number = {}, pages = {1-9}, title = {Model Checking for Proving and Improving Fault Tolerance of Satellites}, volume = {}, year = {2023}, url = {https://ieeexplore.ieee.org/abstract/document/10115801}, pdf={https://joniskiesbye.de/files/Model_Checking_for_Proving_and_Improving_Fault_Tolerance_of_Satellites_Accepted_Paper.pdf} } @inproceedings{cav23_ltl, author = {Jan K{\v{r}}et{\'{\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 = {{CAV} 2023}, series = {Lecture Notes in Computer Science}, volume = {13964}, pages = {390--414}, publisher = {Springer}, year = {2023}, month = {07}, 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}, area = {ml-ltl}, tool = {}, pdf={https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_20.pdf}, } @inproceedings{fm23_nnmonitoring, author = {Vahid Hashemi and Jan K{\v{r}}et{\'{\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 = {{FM} 2023}, series = {Lecture Notes in Computer Science}, volume = {14000}, pages = {622--634}, publisher = {Springer}, year = {2023}, month = {03}, 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 18:10:18 +0200}, biburl = {https://dblp.org/rec/conf/fm/HashemiKRS23.bib}, area = {nn-mon}, tool = {}, pdf={https://arxiv.org/pdf/2212.07773}, } @inproceedings{lics23-vi-sg, author = {Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Tobias Meggendorfer and Maximilian Weininger}, title = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives}, booktitle = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2023, Boston, MA, USA, June 26-29, 2023}, pages = {1--14}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/LICS56636.2023.10175771}, doi = {10.1109/LICS56636.2023.10175771}, timestamp = {Wed, 29 May 2024 16:05:22 +0200}, biburl = {https://dblp.org/rec/conf/lics/KretinskyMW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {vi-sg}, } @article{acta22-index, author = {Jan K{\v{r}}et{\'{\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 13:35:27 +0100}, biburl = {https://dblp.org/rec/journals/acta/KretinskyMWW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {ltl-auto}, } @article{comput22-vi-sg, author = {Julia Eisentraut and Edon Kelmendi and Jan K{\v{r}}et{\'{\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 22:16:18 +0200}, biburl = {https://dblp.org/rec/journals/iandc/EisentrautKKW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {vi-sg}, } @article{comput22-ssg, author = {Jan K{\v{r}}et{\'{\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 17:09:17 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KretinskyRSW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {vi-sg}, } @inproceedings{atva22-vi-ssg, author = {Muqsit Azeem and Alexandros Evangelidis and Jan K{\v{r}}et{\'{\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 13:35:46 +0100}, biburl = {https://dblp.org/rec/conf/atva/AzeemEKSW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {vi-sg}, } @article{sttt22-ltl-buechi, author = {Javier Esparza and Jan K{\v{r}}et{\'{\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 16:15:41 +0200}, biburl = {https://dblp.org/rec/journals/sttt/EsparzaKRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {ltl-auto}, } @inproceedings{GroverKMW22, author = {Kush Grover and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Tobias Meggendorfer and Maximilian Weininger}, booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland}, dblp_id = {conf/concur/GroverKMW22}, doi = {10.4230/LIPIcs.CONCUR.2022.11}, editor = {Bartek Klin and Slawomir Lasota and Anca Muscholl}, month = {September}, pages = {11:1--11:20}, pdf = {https://drops.dagstuhl.de/opus/volltexte/2022/17074/pdf/LIPIcs-CONCUR-2022-11.pdf}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, title = {Anytime Guarantees for Reachability in Uncountable Markov Decision Processes}, year = {2022}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.11}, } @inproceedings{KiesbyeGAK22, author = {Jonis Kiesbye and Kush Grover and Pranav Ashok and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}}}, booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022, Philadelphia, PA, USA, May 23-27, 2022}, dblp_id = {conf/icra/KiesbyeGAK22}, doi = {10.1109/ICRA46639.2022.9811980}, month = {May}, pages = {4347--4354}, publisher = {{IEEE}}, title = {Planning via model checking with decision-tree controllers}, url = {https://doi.org/10.1109/ICRA46639.2022.9811980}, year = {2022}, area = {cont-dt}, } @inproceedings{cmsb22-crn, author = {Martin Helfrich and Milan Ceska and Jan K{\v{r}}et{\'{\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 20:58:38 +0200}, biburl = {https://dblp.org/rec/conf/cmsb/HelfrichCKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {crn}, } @inproceedings{cav22-learning, author = {Luca Bortolussi and Giuseppe Maria Gallo and Jan K{\v{r}}et{\'{\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:38 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BortolussiGKN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {learn-temp-form}, } @inproceedings{cav22-pac, author = {Chaitanya Agarwal and Shibashis Guha and Jan K{\v{r}}et{\'{\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 = {Sat, 08 Jun 2024 13:13:50 +0200}, biburl = {https://dblp.org/rec/conf/cav/AgarwalGKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {rl-mdp}, } @inproceedings{WeiningerGMK21, author = {Maximilian Weininger and Kush Grover and Shruti Misra and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}}}, booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021}, dblp_id = {conf/cdc/WeiningerGMK21}, doi = {10.1109/CDC45484.2021.9683447}, month = {December}, pages = {3786--3793}, publisher = {{IEEE}}, title = {Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games}, url = {https://doi.org/10.1109/CDC45484.2021.9683447}, year = {2021}, } @inproceedings{GroverBTK21, address = {Virtual}, author = {Grover, Kush and Barbosa, Fernando S and Tumova, Jana and K{\v{r}}et{\'{\i}}nsk{\'{y}}, Jan}, booktitle = {Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021}, dblp_id = {conf/rss/GroverBTK21}, doi = {10.15607/RSS.2021.XVII.090}, month = {July}, organization = {RSS Foundation-Robotics Science \& Systems Foundation}, pdf = {http://www.roboticsproceedings.org/rss17/p090.pdf}, title = {Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments}, url = {https://roboticsconference.org/2021/program/papers/090/index.html}, year = {2021}, } @inproceedings{DBLP:conf/atva/AshokHKM20, author = {Pranav Ashok and Vahid Hashemi and Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and Stefanie Mohr}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {DeepAbstract: Neural Network Abstraction for Accelerating Verification}, booktitle = {{ATVA} 2020}, 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:56:55 +0100}, biburl = {https://dblp.org/rec/conf/atva/AshokHKM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, area = {nn-abs}, tool = {}, pdf ={https://arxiv.org/pdf/2006.13735}, }