Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 591-608. Springer, (2019)Constructing Control System Abstractions from Modular Components., , and . HSCC, page 137-146. ACM, (2018)Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach., , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 265-281. Springer, (2019)Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms., , , and . HSCC, page 285-286. ACM, (2018)A Small Gain Theorem for Parametric Assume-Guarantee Contracts., , and . HSCC, page 207-216. ACM, (2017)Dynamic contracts for distributed temporal logic control of traffic networks., , , , and . CDC, page 3640-3645. IEEE, (2017)Directed Specifications and Assumption Mining for Monotone Dynamical Systems., , and . HSCC, page 21-30. ACM, (2016)Compositional controller synthesis for vehicular traffic networks., , and . CDC, page 6165-6171. IEEE, (2015)Assume-guarantee contracts and controller synthesis for vehicular traffic networks., , and . ACC, page 882. IEEE, (2016)Offset optimization of signalized intersections via the Burer-Monteiro method., , , and . ACC, page 3554-3559. IEEE, (2017)