Documentation
Français (FR)

Anglais (EN)

PG

Pierre-Loïc Garoche

2

Documents

Affiliations actuelles

380071

Identifiants chercheurs

pierre-loic-garoche
Arxiv : garoche_p_1
IdRef : 127405690
0000-0002-0513-6076
Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ

Contact

Présentation

Publications

julien-alexandre-dit-sandretto

	Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems Paul Rousse , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩ Communication dans un congrès hal-03199339v1

	Towards a Set-based Signal Temporal Logic Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche 2020 Pré-publication, Document de travail hal-03084701v1