scientific article; zbMATH DE number 1479635
From MaRDI portal
Recommendations
Cited in
(21)- Alternating automata: unifying truth and validity checking for temporal logics
- LTL to self-loop alternating automata with generic acceptance and back
- Propositional Dynamic Logic for Message-Passing Systems
- Finite automata on timed \(\omega\)-trees
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- Automata Applications in Chip-Design Software
- Transformation from PLTL to automata via NFGs
- From Monadic Logic to PSL
- Automata-Theoretic Model Checking Revisited
- Fuzzy alternating Büchi automata over distributive lattices
- scientific article; zbMATH DE number 3902040 (Why is no real title available?)
- From Philosophical to Industrial Logics
- Reasoning About Regular Properties: A Comparative Study
- scientific article; zbMATH DE number 176242 (Why is no real title available?)
- scientific article; zbMATH DE number 4112700 (Why is no real title available?)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- An automata-theoretic approach to linear temporal logic
- Rigorous approximated determinization of weighted automata
- Grammars of organic chemistry
- Model checking open systems with alternating projection temporal logic
- Bounded model checking of infinite state systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490750)
