Analyzing Fair Parametric Extended Automata
No abstract available.
Related papers
- An Automata-Theoretic Approach to Fair Realizability and Synthesis CAV 1995
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach CAV 1995
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- Decision Procedures for Sequence Theories CAV 2023
- Parametrized Verification of Linear Networks Using Automata as Invariants CAV 1997