Author of the publication

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.

, , and . IROS, page 5364-5371. IEEE, (2021)

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

Formalizing traffic rules for uncontrolled intersections., and . ICCPS, page 41-50. IEEE, (2020)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., and . ADHS, volume 51 of IFAC-PapersOnLine, page 139-144. Elsevier, (2018)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 555-572. (2017)Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties., , , , , , and . RTCSA, page 11-20. IEEE, (2022)Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations., , , , , and . ICCPS, page 99-110. IEEE, (2024)NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks., and . L4DC, volume 120 of Proceedings of Machine Learning Research, page 697. PMLR, (2020)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , and . CoRR, (2023)Dynamic Selection of Perception Models for Robotic Control., , , , and . CoRR, (2022)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Dynamic analysis of Cyber-Physical Systems. University of Illinois Urbana-Champaign, USA, (2015)