research
∙
04/17/2023
Scenario Approach for Parametric Markov Models
In this paper, we propose an approximating framework for analyzing param...
share
research
∙
03/02/2023
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)
Case split is a core proof rule in current decision procedures for the t...
research
∙
01/05/2023
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)
Complementation of nondeterministic Büchi automata (BAs) is an important...
research
∙
07/05/2020
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling
The search for a proof of correctness and the search for counterexamples...
research
∙
02/08/2019