From post

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.

 

Другие публикации лиц с тем же именем

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