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