Adrien Le Coënt | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jan Křetínský
36 publications
Maximilian Weininger
16 publications
Pranav Ashok
9 publications
Kim Guldstrand Larsen
8 publications
Laurent Fribourg
6 publications
Ludovic Chamoin
6 publications
Florian De Vuyst
5 publications
Jakob Haahr Taankvist
1 publication

research

∙ 06/25/2019

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

For hybrid Markov decision processes, UPPAAL Stratego can compute strate...

0 Pranav Ashok, et al. ∙

research

∙ 04/11/2017

Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method

In this paper, we propose a symbolic control synthesis method for nonlin...

0 Adrien Le Coënt, et al. ∙

Success!

An error occurred