Reachability Analysis of Planar Multi-limear Systems
Abstract elided by the publisher.
Related papers
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems CAV 2010
- Reachability in Multi-agent Transfer Systems VMCAI 2026
- The Poincaré-Bendixson theorem in Isabelle/HOL CPP 2020
- Analysis of recursively parallel programs POPL 2012
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- Information Reuse for Multi-goal Reachability Analyses ESOP 2013
- Multi-cost Bounded Reachability in MDP TACAS 2018