C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Emily Clement
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
Top Topics
Reachability Analysis
First Order Logic
Theorem Proving
Selection Strategies
Top Venues
CoRR
FORMATS
</>
Publications
</>
Amazigh Amrane
,
Hugo Bazille
,
Emily Clement
,
Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata.
CoRR
(2024)
Emily Clement
,
Nicolas Perrin-Gilbert
,
Philipp Schlehuber-Caissier
Layered controller synthesis for dynamic multi-agent systems.
CoRR
(2023)
Emily Clement
,
Nicolas Perrin-Gilbert
,
Philipp Schlehuber-Caissier
Layered Controller Synthesis for Dynamic Multi-agent Systems.
FORMATS
(2023)
Emily Clement
,
Thierry Jéron
,
Nicolas Markey
,
David Mentré
Computing maximally-permissive strategies in acyclic timed automata.
CoRR
(2020)
Emily Clement
,
Thierry Jéron
,
Nicolas Markey
,
David Mentré
Computing Maximally-Permissive Strategies in Acyclic Timed Automata.
FORMATS
(2020)