The following pages link to Alexandre Duret-Lutz (Q2165216):
Displaying 8 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)
- Dissecting \texttt{ltlsynt} (Q6151759) (← links)
