Linked e-resources
Details
Table of Contents
Tutorials
Correctness and Optimality for Control Systems
Modeling, Control, and Verification of an Automated Transport System
Formal Methods for Highly Automated Driving Applications
Trust, Resilience and Interpretability of AI Models
Reinforcement Learning and Formal Requirements
Contributed Papers
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws
Rigorous Continuous Evolution of Uncertain Systems
Stochastic Local Search for Solving Floating-Point Constraints
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
Polytopic Trees for Verification of Learning-Based Controllers
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.
Correctness and Optimality for Control Systems
Modeling, Control, and Verification of an Automated Transport System
Formal Methods for Highly Automated Driving Applications
Trust, Resilience and Interpretability of AI Models
Reinforcement Learning and Formal Requirements
Contributed Papers
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws
Rigorous Continuous Evolution of Uncertain Systems
Stochastic Local Search for Solving Floating-Point Constraints
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
Polytopic Trees for Verification of Learning-Based Controllers
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.