Sébastien Tixeuil
3
Documents
Publications
- 3
- 3
- 2
- 1
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in System Design, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩
Article dans une revue
hal-02290400v1
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Communication dans un congrès
hal-01664894v1
|
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017
Rapport
hal-01540339v1
|