Verification of discrete- and continuous-time non-deterministic Markovian systems

von Křetínský, Jan
Veröffentlicht 2013

˜Aœ learning twist on controllers: synthesis via partial exploration and concise representations

von Ashok, Pranav
Veröffentlicht 2021

Verification of discrete-time markov decision processes

von Meggendorfer, Tobias
Veröffentlicht 2021

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

von Ceska, Milan
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Taming the infinities of concurrency : essays dedicated to Javier Esparza on the occasion of his 60th birthday

Veröffentlicht 2024

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks

von Hashemi, Vahid
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Statistical Model Checking: Black or White?

von Ashok, Pranav
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

PAC Statistical Model Checking of Mean Payoff in Discrete-and Continuous-Time MDP

von Agarwal, Chaitanya
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

FINITE-MEMORY NEAR-OPTIMAL LEARNING FOR MARKOV DECISION PROCESSES WITH LONG-RUN AVERAGE REWARD

von KRETINSKY, JAN
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (36. : 2020 : Online) 36th Conference on Uncertainty in Artificial Intelligence (UAI 2020) ; Volume 3 of 3 (2021)

DeepAbstract: Neural Network Abstraction for Accelerating Verification

von Ashok, Pranav
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Abstraction-Based Segmental Simulation of Chemical Reaction Networks

von Helfrich, Martin
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Leaming Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

von Bortolussi, Luca
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Optimistic and Topological Value Iteration for Simple Stochastic Games

von Azeem, Mugsit
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Learning Explainable and Better Performing Representations of POMDP Strategies

von Bork, Alexander
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

Automata Tutor v3

von D'Antoni, Loris
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

von Ashok, Pranav
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

von Budde, Carlos E.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)