scientific article; zbMATH DE number 1479635
From MaRDI portal
zbMATH Open0942.68600MaRDI QIDQ4490750FDOQ4490750
Authors: Moshe Y. Vardi 
Publication date: 20 July 2000
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- From Philosophical to Industrial Logics
- Reasoning About Regular Properties: A Comparative Study
- Title not available (Why is that?)
- Title not available (Why is that?)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- An automata-theoretic approach to linear temporal logic
- Grammars of organic chemistry
- Rigorous approximated determinization of weighted automata
- 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)
