| Verified Erasure Correction in Coq with MathComp and VST
|
2022 |
Cohen, Joshua M. |
| Synthesizing Fair Decision Trees via Iterative Constraint Solving
|
2022 |
Wang, Jingbo |
| Verifying Fairness ın Quantum Machine Learning
|
2022 |
Guan, Ji |
| MOGYM: Using Formal Models for Training and Verifying Decision-making Agents
|
2022 |
Gros, Timo P. |
| Sampling-Based Verification of CTIMCSs with Uncertain Rates
|
2022 |
Badings, Thom S. |
| Playing Against Fair Adversaries in Stochastic Games with Total Rewards
|
2022 |
Castro, Pablo F. |
| Local Search for SMT on Linear Integer Arithmetic
|
2022 |
Cai, Shaowei |
| Complementing Büchi Automata with Ranker
|
2022 |
Havlena, Vojtèch |
| Synthesis and Analysis of Petri Nets from Causal Specifications
|
2022 |
Oliveira, Mateus de Oliveira |
| Information Flow Guided Synthesis
|
2022 |
Finkbeiner, Bernd |
| PAC Statistical Model Checking of Mean Payoff in Discrete-and Continuous-Time MDP
|
2022 |
Agarwal, Chaitanya |
| Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
|
2022 |
Leutgeb, Lorenz |
| Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
|
2022 |
Niemetz, Aina |
| FORQ-Based Language Inclusion Formal Testing
|
2022 |
Doveri, Kyveli |
| Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
|
2022 |
Li, Yong |
| From Spot 2.0 to Spot 2.10: What’s New?
|
2022 |
Duret-Lutz, Alexandre |
| Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
|
2022 |
Choi, Joonwon |
| Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
|
2022 |
Blondin, Michael |
| Sound Automation of Magic Wands
|
2022 |
Dardinier, Thibault |
| Even Faster Conflicts and Lazier Reductions for String Solvers
|
2022 |
Nötzli, Andres |
Tag hinzufügen