scientific article; zbMATH DE number 1479635
From MaRDI portal
Publication:4490750
Recommendations
Cited in
(22)- Finite automata on timed \(\omega\)-trees
- Fuzzy alternating Büchi automata over distributive lattices
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- LTL to self-loop alternating automata with generic acceptance and back
- Transformation from PLTL to automata via NFGs
- Bounded model checking of infinite state systems
- Model checking open systems with alternating projection temporal logic
- Automata Applications in Chip-Design Software
- From Philosophical to Industrial Logics
- scientific article; zbMATH DE number 3902040 (Why is no real title available?)
- scientific article; zbMATH DE number 4112700 (Why is no real title available?)
- Rigorous approximated determinization of weighted automata
- scientific article; zbMATH DE number 176242 (Why is no real title available?)
- Grammars of organic chemistry
- Alternating automata: unifying truth and validity checking for temporal logics
- From Monadic Logic to PSL
- Automata-Theoretic Model Checking Revisited
- Propositional Dynamic Logic for Message-Passing Systems
- Reasoning About Regular Properties: A Comparative Study
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- An automata-theoretic approach to linear temporal logic
- Efficient normalization of linear temporal logic
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)
