10 results on '"Sickert, Salomon"'
Search Results
2. Certifying DFA Bounds for Recognition and Separation
3. Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
4. Owl: A Library for $$\omega $$-Words, Automata, and LTL
5. Strix: Explicit Reactive Synthesis Strikes Back!
6. From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
7. Limit-Deterministic Büchi Automata for Linear Temporal Logic
8. MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata
9. MoTraS: A Tool for Modal Transition Systems and Their Extensions
10. On Refinements of Boolean and Parametric Modal Transition Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.