Forward Reachability Computation for Autonomous Max-Plus-Linear Systems
No abstract available.
Related papers
- Inferring Min and Max Invariants Using Max-Plus Polyhedra SAS 2008
- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization SAS 2015
- Max-Policy Iteration, Revisited ESOP 2026
- Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs POPL 2000
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing GPCE 2022
- Intertwined Forward-Backward Reachability Analysis Using Interpolants TACAS 2013