| 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 |
| Reasoning About Data Trees Using CHCs
|
2022 |
Faella, Marco |
| End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers
|
2022 |
Yuan, Shenghao |
| Specification-Guided Learning of Nash Equilibria with High Social Welfare
|
2022 |
Jothimurugan, Kishor |
| SMT-Based Translation Validation for Machine Learning Compiler
|
2022 |
Bang, Seongwon |
| Capture, Analyze, Diagnose: Realızability Checking Of Requirements in FRET
|
2022 |
Katis, Andreas |
| Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
|
2022 |
Gittis, Andreas |
| 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. |
Tag hinzufügen