Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 2 citations
Artificial intelligence1 · 2 citations
Bounded function1 · 2 citations
Collision1 · 2 citations
Collision avoidance1 · 2 citations
Computer science1 · 2 citations
Constraint (computer-aided design)1 · 2 citations
Constraint satisfaction1 · 2 citations
Constraint satisfaction problem1 · 2 citations
Data mining1 · 2 citations
Formal verification1 · 2 citations
Mathematical optimization1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Constraint-based Verification of Formation Control
2 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)
Top Papers
- 1Constraint-based Verification of Formation Control2 citations · 2021
Key Collaborators
Not generated yet