The following pages link to Nicolas Basset (Q727970):
Displayed 23 items.
- Counting and generating permutations in regular classes (Q727971) (← links)
- Distance on timed words and applications (Q1631230) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Uniform sampling for timed automata with application to language inclusion measurement (Q1693099) (← links)
- Learning specifications for labelled patterns (Q1996014) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- A maximal entropy stochastic process for a timed automaton (Q2347798) (← links)
- Spectral Gap in Timed Automata (Q2842656) (← links)
- Generating Functions of Timed Languages (Q2912714) (← links)
- Timed Symbolic Dynamics (Q2945581) (← links)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- Compositional Controller Synthesis for Stochastic Games (Q3190116) (← links)
- Toward a Timed Theory of Channel Coding (Q4649384) (← links)
- (Q5079732) (← links)
- Admissiblity in Concurrent Games (Q5111455) (← links)
- (Q5111650) (← links)
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (Q5194953) (← links)
- Admissible Strategies in Timed Games (Q5217311) (← links)
- A Maximal Entropy Stochastic Process for a Timed Automaton, (Q5327423) (← links)
- Counting and Generating Permutations Using Timed Languages (Q5405068) (← links)
- Specification and efficient monitoring beyond STL (Q6091405) (← links)
- Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions (Q6202093) (← links)
- Wordgen : a Timed word Generation Tool (Q6202098) (← links)