Emily Clement

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Top Venues

Publications

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. Petri Nets (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. RAMiCS (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)