Weak Automata for the Linear Time µ-Calculus
Abstract elided by the publisher.
Related papers
- Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus ICFP 2026
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004
- Linear Parametric Model Checking of Timed Automata TACAS 2001
- Weak Muller Acceptance Conditions for Tree Automata VMCAI 2002
- Bounded Model Checking for Weak Alternating Büchi Automata CAV 2006
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026