Don't Care Words with an Application to the Automata-Based Approach for Real Addition
Abstract elided by the publisher.
Related papers
- "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models TACAS 2007
- Inessential Error Entries and Their Use in LR Parser Optimization TOPLAS 1982
- Convex Hull of Arithmetic Automata SAS 2008
- Complementation Constructions for Nondeterministic Automata on Infinite Words TACAS 2005
- Advanced automata minimization POPL 2013
- An L# Based Algorithm for Active Learning of Minimal Separating Automata CAV 2026
- Antichain Algorithms for Finite Automata TACAS 2010
- Automating the Analysis of Quantitative Automata with QuAK TACAS 2025