Collaborated with:
E.S.Kim S.A.Seshia
Talks about:
synthesi (1) abstract (1) pipelin (1) flexibl (1) control (1) robust (1) comput (1) base (1)
Person: Murat Arcak
DBLP: Arcak:Murat
Contributed to:
Wrote 1 papers:
- CAV-2019-KimAS #flexibility #pipes and filters #robust #synthesis
- Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis (ESK, MA, SAS), pp. 591–608.