Travelled to:
1 × USA
Collaborated with:
R.Majumdar
Talks about:
bisimilar (1) approxim (1) control (1) system (1) symbol (1) model (1) digit (1)
Person: Majid Zamani
DBLP: Zamani:Majid
Contributed to:
Wrote 1 papers:
- CAV-2012-MajumdarZ #approximate #modelling
- Approximately Bisimilar Symbolic Models for Digital Control Systems (RM, MZ), pp. 362–377.