SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
Cnn-Abs: Abstraction-Refinement based Verification of Convolutional Neural Networks
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
An Impossibility Result in Automata-Theoretic Reinforcement Learning
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Verification of Quantified SMT Systems
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems
Minimization of Automata for Liveness Languages
Repairing Real-Time Requirements
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
Checking Scheduling-induced Violations of Control Safety Properties
Learning Deterministic One-Clock Timed Automata via Mutation Testing
Active Learning of One-Clock Timed Automata using Constraint Solving
Symbolic Monitoring: Runtime Verification with Uncertainties and Assumptions
Alternating GFM Automata
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Learning and Characterizing Fully-Ordered Lattice Automata
PET – Partial Exploration Tool for Probabilistic Verification
Optimal Repair For Omega-regular Properties
Optimistic and Topological Value Iteration for Simple Stochastic Games
Temporal Causality in Reactive Systems
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems
Projected Model Counting: Beyond Independent Support
Fence Synthesis for the C11 Memory Model
Synthesis of Parametric Hybrid Automata from Time Series