MATOU: An Implementation of Mode-Automata
No abstract available.
Related papers
- Mode-Automata: About Modes and States for Reactive Systems ESOP 1998
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion CAV 2019
- Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation POPL 2022
- Addressing Mode Selection CGO 2003
- Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode PLDI 2025
- Lazy multivariate higher-order forward-mode AD POPL 2007
- Mode Crossing ICFP 2026