Stéphanie Roussel
2 papers
· 2019–2020
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(3)
Conferences
IJCAI (2)
Top co-authors
Keywords
state estimation
(1)
complexity bound
(1)
model checking
(1)
state tracking
(1)
multi-robot scheduling
(1)
incremental estimation
(1)
constraint-based scheduling
(1)
setup operation
(1)
iterative scheduling
(1)
two-layer scheduling
(1)
model-based synthesis
(1)
incremental estimator
(1)
discrete event system
(1)
simulation relation
(1)