An Efficient Algorithm for Minimizing Real-time Transition Systems
Abstract elided by the publisher.
Related papers
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- Faster reachability analysis for LR(1) parsers SLE 2021
- A Memory-Efficient Real-Time Non-Copying Garbage Collector ISMM 1998
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- Distributed Coalgebraic Partition Refinement TACAS 2022
- Computing Bottom SCCs Symbolically Using Transition Guided Reduction CAV 2021
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- Accelerating LLMs using an Efficient GEMM Library and Target-Aware Optimizations on Real-World PIM Devices CGO 2025