The following pages link to Alexandre Duret-Lutz (Q2165216):
Displaying 17 items.
- Effective reductions of Mealy machines (Q2165218) (← links)
- Seminator 2 can complement generalized Büchi automata via improved semi-determinization (Q2226719) (← links)
- (Q2771713) (← links)
- Three SCC-Based Emptiness Checks for Generalized Büchi Automata (Q2870161) (← links)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (Q3172924) (← links)
- A Type System for Weighted Automata and Rational Expressions (Q3192261) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)
- SAT-Based Minimization of Deterministic $$\omega $$ -Automata (Q3460042) (← links)
- On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699) (← links)
- Model Checking Using Generalized Testing Automata (Q4909350) (← links)
- Manipulating LTL Formulas Using Spot 1.0 (Q5166705) (← links)
- LTL Model Checking with Neco (Q5166707) (← links)
- Parallel Explicit Model Checking for Generalized Büchi Automata (Q5194963) (← links)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (Q5326352) (← links)
- Implementation Concepts in Vaucanson 2 (Q5327488) (← links)
- Model Checking Software (Q5394558) (← links)
- Dissecting \texttt{ltlsynt} (Q6151759) (← links)
