Author of the publication

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

, , , , and . ACC, page 1446-1452. IEEE, (2023)

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

Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains., , , , , , , , , and 1 other author(s). ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (June 2023)Automating System Configuration., , , , , , and . FMCAD, page 102-111. IEEE, (2021)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 113-132. Springer, (2021)Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks., , , and . ReConFig, page 1-8. IEEE, (2019)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , and . ICCAD, page 1-8. ACM, (2019)Smt-Switch: A Solver-Agnostic C++ API for SMT Solving., , , , , , , , , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 377-386. Springer, (2021)CoSA: Integrated Verification for Agile Hardware Design., , , , , and . FMCAD, page 1-5. IEEE, (2018)A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo., , , and . CoRR, (2023)Control Barrier Function Toolbox: An Extensible Framework for Provable Safety., , , , and . NFM, volume 14627 of Lecture Notes in Computer Science, page 352-358. Springer, (2024)Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control., , , and . ACC, page 3885-3890. IEEE, (2024)