| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
|
2021 |
Hahn, Ernst Moritz |
| BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
|
2021 |
Scott, Joseph |
| Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
|
2021 |
Kopylov, Alexei |
| Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
|
2021 |
Coughlin, Nicholas |
| Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
|
2021 |
Sato, Sota |
| Formal Verification of a JavaCard Virtual Machine with Frama-C
|
2021 |
Djoudi, Adel |
| Verification of the Incremental Merkle Tree Algorithm with Dafny
|
2021 |
Cassez, Franck |
| HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
|
2021 |
Gorostiaga, Felipe |
| Dynamic Reconfiguration via Typed Modalities
|
2021 |
Ţuţu, Ionuţ |
| Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles
|
2021 |
Rahman, Yousaf |
| Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
|
2021 |
Santos, César Augusto R. dos |
| Probabilistic Verification of Neural Networks Against Group Fairness
|
2021 |
Sun, Bing |
| Integrating ADTs in KeY and Their Application to History-Based Reasoning
|
2021 |
Bian, Jinting |
| Congruence Relations for Büchi Automata
|
2021 |
Li, Yong |
| From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
|
2021 |
Mavridou, Anastasia |
| Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
|
2021 |
Pferscher, Andrea |
| HyperProb: A Model Checker for Probabilistic Hyperproperties
|
2021 |
Dobe, Oyendrila |
| Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
|
2021 |
Blahoudek, František |
| Formal Verification of Complex Data Paths: An Industrial Experience
|
2021 |
Seger, Carl-Johan H. |
| Combining Forces: How to Formally Verify Informally Defined Embedded Systems
|
2021 |
Herber, Paula |
Tag hinzufügen