Search

Your search keyword '"Sickert, Salomon"' showing total 13 results

Search Constraints

Start Over You searched for: Author "Sickert, Salomon" Remove constraint Author: "Sickert, Salomon" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
13 results on '"Sickert, Salomon"'

Search Results

1. A Simple Rewrite System for the Normalization of Linear Temporal Logic

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

Catalog

Books, media, physical & digital resources