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.

 

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

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)Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing., , , , , и . RTCSA, стр. 196-205. IEEE, (2023)Certifiable and Efficient Autonomous Cyber-Physical Systems Design., , , , и . VLSID, стр. 259-263. IEEE, (2024)Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints., , , , и . ASP-DAC, стр. 46-51. ACM, (2023)Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems., и . ACM Trans. Embed. Comput. Syst., 18 (5s): 97:1-97:22 (2019)Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems., , , , , и . ATVA (1), том 14215 из Lecture Notes in Computer Science, стр. 312-333. Springer, (2023)Dynamic Selection of Perception Models for Robotic Control., , , , и . CoRR, (2022)Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems., и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 67-87. Springer, (2022)Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency., , и . IROS, стр. 5364-5371. IEEE, (2021)