We present the Verse library with the aim of making hybrid system verification more usable
for multi-agent scenarios. In Verse, decision making agents move in a map and interact with …

LazySets. jl is a Julia library that provides ways to symbolically represent sets of points as
geometric shapes, with a special focus on convex sets and polyhedral approximations …

Abstract The Finite Element Method (FEM) is the gold standard for spatial discretization in
numerical simulations for a wide spectrum of real-world engineering problems. Prototypical …

Abstract The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)
is an annual venue for researchers and practitioners working on automated analysis and …

We develop a spacecraft rendezvous policy that ensures safe, collision-free trajectories
under various thrust failure scenarios. We use backward reachable sets (RSs) to …

Abstract Model-based design (MBD) in systems engineering is a well-accepted technique to
abstract, analyze, verify, and validate complex systems. In MBD, we design a mathematical …

Verification tools for cyber-physical systems (CPS) often have their own input specification
language based on formal models of CPS. This requires tool users to have acquaintance to …

The philosophy, architecture, and capabilities of the Continuous Reachability Analyzer
(CORA) are presented. CORA is a toolbox that integrates various vector and matrix set …