Johan Arcile,, Raymond Devillers, Hanna Klaudel. Models for the dynamic exploration of the state spaces of autonomous vehicles..
17th International Workshop on Petri Nets and Software Engineering (PNSE 2020), Jun 2020, Paris, France. pp.29--48.
⟨hal-02887014⟩