Avoiding State Exposion by Composition of Minimal Covering Graphs
Abstract elided by the publisher.
Related papers
- Compositional Minimization of Finite State Systems CAV 1990
- Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI 2025
- Formalization of Karp-Miller tree construction on petri nets CPP 2017
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Register Allocation via Hierarchical Graph Coloring PLDI 1991
- Geo: A Query Rewrite Framework for Graph Pattern Mining OOPSLA 2026
- A State-of-the-Art Karp-Miller Algorithm Certified in Coq TACAS 2024