1.8k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- National Institute of InformaticsJP38 papers
- Centre National de la Recherche ScientifiqueFR28 papers
- International Research Center for Japanese StudiesJP16 papers
- Sorbonne UniversitéFR13 papers
- The University of TokyoJP13 papers
- LIP6FR11 papers
- Nantes UniversitéFR11 papers
- Laboratoire des Sciences du Numérique de NantesFR7 papers
- Laboratoire d'Informatique de Paris-NordFR7 papers
- Université Sorbonne Paris NordFR7 papers
- The Graduate University for Advanced Studies, SOKENDAIJP5 papers
- University of EdinburghGB5 papers
3 papers · 1 filter
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a…
Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles
Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut +2
In this paper, we investigate the decision making of autonomous vehicles in an unsignalized intersection in presence of malicious vehicles, which are vehicles that do not respect t…