| Automata Tutor v3
|
2020 |
D'Antoni, Loris |
| Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
|
2020 |
Blahoudek, Frantisek |
| Realizing co-regular Hyperproperties . . .
|
2020 |
Finkbeiner, Bernd |
| Code2Inv: A Deep Learning Framework for Program Verification
|
2020 |
Si, Xujie |
| Maximum Causal Entropy Specification Inference from Demonstrations
|
2020 |
Vazquez-Chanlatte, Marcell |
| Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
|
2020 |
Blondin, Michael |
| Stochastic Games with Lexicographic Reachability-Safety Objectives
|
2020 |
Chatterjee, Krishnendu |
| Good-Enough Synthesis
|
2020 |
Almagor, Shaull |
| Synthesizing JIT Compilers for In-Kernel DSLs
|
2020 |
Geffen, Jacob Van |
| Program Synthesis Using Deduction-Guided Reinforcement Learning
|
2020 |
Chen, Yanju |
| Global PAC Bounds for Learning Discrete Time Markov Chains
|
2020 |
Bazille, Hugo |
| AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
|
2020 |
Lavaei, Abolfazl |
| STMC: Statistical Model Checker with Stratified and Antithetic Sampling
|
2020 |
Roohi, Nima |
| PRISM-games 3.0: Stochastic Game Verification with Concurrency., Equilibria and Time
|
2020 |
Kwiatkowska, Marta |
| Decidable Synthesis of Programs with Uninterpreted Functions
|
2020 |
Krogmeier, Paul |
| Action-Based Model Checking: Logic, Automata, and Reduction
|
2020 |
Siegel, Stephen F. |
| Global Guidance for Local Generalization in Model Checking
|
2020 |
Krishnan, Hari Govind Vediramana |
| Towards Model Checking Real-World Software-Defined Networks
|
2020 |
Klimis, Vasileios |
| Recursive Data Structures in SPARK
|
2020 |
Dross, Claire |
| Ivy: A Multi-modal Verification Tool for Distributed Algorithms
|
2020 |
McMillan, Kenneth L. |
Tag hinzufügen