FASTer Acceleration of Counter Automata in Practice
Abstract elided by the publisher.
Related papers
- Succinct Determinisation of Counting Automata via Sphere Construction APLAS 2019
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Software-hardware codesign for efficient in-memory regular pattern matching PLDI 2022
- Regex matching with counting-set automata OOPSLA 2020
- KATch: A Fast Symbolic Verifier for NetKAT PLDI 2024
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- Eliminating Message Counters in Synchronous Threshold Automata VMCAI 2021
- Programs with Lists Are Counter Automata CAV 2006