Khalil Ghorbal

Identifiers

• name variant Khalil Ghorbal 0.60 · backfill

Papers (2)

1. Formal Verification of Obstacle Avoidance and Navigation of Ground Robots cs.SY · 2016 · author #2
2. A Logical Product Approach to Zonotope Intersection cs.LO · 2010 · author #1

Mentions

• 1002.2236 #1 · backfill · confidence 0.70 Khalil Ghorbal

Frequent Coauthors

• Andr\'e Platzer 1 shared papers
• David Vogelbacher 1 shared papers
• Eric Goubault 1 shared papers
• Stefan Mitsch 1 shared papers
• Sylvie Putot 1 shared papers