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.

 

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

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover., , , , и . EMSOFT, стр. 9:1-9:10. IEEE, (2013)Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles., , , , и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 180-201. Springer, (2023)Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction., , , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 501-520. Springer, (2021)Probably Approximate Safety Verification of Hybrid Dynamical Systems., , , , и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 236-252. Springer, (2019)Handling of Operating Modes in Contract-Based Timing Specifications., , , , и . VECoS, том 13187 из Lecture Notes in Computer Science, стр. 59-74. Springer, (2021)Counterfactual-Based Root Cause Analysis for Dynamical Systems., , , и . ECML/PKDD (6), том 14946 из Lecture Notes in Computer Science, стр. 303-319. Springer, (2024)A sampling-based approach for handling delays in continuous and hybrid systems., и . it Inf. Technol., 63 (5-6): 289-298 (2021)Robust invariant sets generation for state-constrained perturbed polynomial systems., , , и . HSCC, стр. 128-137. ACM, (2019)Justification Based Reasoning in Dynamic Conflict Resolution., , , , и . CoRR, (2019)Evaluation of graphical human-machine interfaces for turning manoeuvres in automated vehicles., , , , , и . AutomotiveUI (adjunct), стр. 77-80. ACM, (2021)