2024
|
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Vahid Hashemi, Jan Křetínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
RV 2024
|
|
|
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Křetínský
International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
|
|
|
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Křetínský, Stefanie Mohr, Sabine Rieder
International Conference on Computer Aided Verification
|
|
|
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints\unicode10033
Severin Bals, Alexandros Evangelidis, Jan Křetínský, Jakob Waibel
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024
|
|
|
Learning Explainable and Better Performing Representations of POMDP Strategies
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr
Tools and Algorithms for the Construction and Analysis of Systems
|
2023
|
Learning Attack Trees by Genetic Algorithms
Florian Dorfhuber, Julia Eisentraut, Jan Křetínský
International Colloquium on Theoretical Aspects of Computing
|
|
|
Algebraically explainable controllers: decision trees and support vector machines join forces
Florian Jüngermann, Jan Křetínský, Maximilian Weininger
|
|
|
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
Calvin Chau, Jan Křetínský, Stefanie Mohr
ATVA 2023
|
|
|
Model Checking for Proving and Improving Fault Tolerance of Satellites
Jonis Kiesbye, Kush Grover, Jan Křetínský
2023 IEEE Aerospace Conference
|
|
|
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
CAV 2023
|
|
|
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Vahid Hashemi, Jan Křetínský, Sabine Rieder, Jessica Schmidt
FM 2023
|
|
|
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023
|
2022
|
Index appearance record with preorders
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
|
|
|
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
Julia Eisentraut, Edon Kelmendi, Jan Křetínský, Maximilian Weininger
|
|
|
Comparison of algorithms for simple stochastic games
Jan Křetínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
|
|
|
Optimistic and Topological Value Iteration for Simple Stochastic Games
Muqsit Azeem, Alexandros Evangelidis, Jan Křetínský, Alexander Slivinskiy, Maximilian Weininger
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
|
|
|
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert
|
|
|
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Kush Grover, Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland
|
|
|
Planning via model checking with decision-tree controllers
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Křetínský
2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022
|
|
|
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Martin Helfrich, Milan Ceska, Jan Křetínský, Stefan Marticek
Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings
|
|
|
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Luca Bortolussi, Giuseppe Gallo, Jan Křetínský, Laura Nenzi
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
|
|
|
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Chaitanya Agarwal, Shibashis Guha, Jan Křetínský, Pazhamalai Muruganandham
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
|
2021
|
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Křetínský
2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021
|
|
|
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments
Kush Grover, Fernando Barbosa, Jana Tumova, Jan Křetínský
Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021
|
2020
|
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, Jan Křetínský, Stefanie Mohr
ATVA 2020
|
