/
User Settings
O

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

5

Papers

5

Citations

1

h-index

0

i10-index

Olivier Idir is an academic researcher from Centre National de la Recherche Scientifique. The author has contributed to research in topics: Formal Methods in Verification & semigroups and automata theory & Logic, Reasoning, and Knowledge. The author has an h-index of 1, co-authored 5 publications.

Research Topics

Formal Methods in Verificationsemigroups and automata theoryLogic, Reasoning, and KnowledgeMachine Learning and AlgorithmsRobotics and Sensor-Based Localization

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat