Walid Taha
Identifiers
- name variant Walid Taha 0.60 · backfill
Papers (3)
- Safe & Robust Reachability Analysis of Hybrid Systems cs.LO · 2017 · author #4
- Modeling Basic Aspects of Cyber-Physical Systems, Part II cs.RO · 2014 · author #4
- Modeling Basic Aspects of Cyber-Physical Systems cs.RO · 2013 · author #1
Mentions
Frequent Coauthors
- Roland Philippsen 2 shared papers
- Adam Duracz 1 shared papers
- Amin Farjudian 1 shared papers
- Chad Rose 1 shared papers
- Eugenio Moggi 1 shared papers
- Jawad Masood 1 shared papers
- Marcia O. Malley 1 shared papers
- Paul Brauner 1 shared papers
- Robert Cartwright 1 shared papers
- Yingfu Zeng 1 shared papers