@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},
}


@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},
  project={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},
  project = {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},
}

@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",
  project = {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},
  project      = {},
  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},
  project = {},
  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},
  project = {},
  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},
  project      = {},
  pdf          ={https://arxiv.org/pdf/2006.13735},
}