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 |
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 |
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 |