( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)

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.

Rajarshi Ray

Ray Mundell

Robert Ray

Kallol Ray

Andrew Ray

 

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

Parallel reachability analysis of hybrid systems in XSpeed., , , , и . Int. J. Softw. Tools Technol. Transf., 21 (4): 401-423 (2019)A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing., , , , , и . AIR, стр. 33:1-33:5. ACM, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)Approximate computing for multithreaded programs in shared memory architectures., , и . MEMOCODE, стр. 11:1-11:9. ACM, (2019)Data-Driven Falsification of Cyber-Physical Systems., , и . ISEC, стр. 10:1-10:5. ACM, (2024)Simultaneous Solving of Batched Linear Programs on a GPU., и . ICPE, стр. 59-66. ACM, (2019)ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking., , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 1-15. EasyChair, (2020)Parallel simulation of cyber-physical systems., , и . Innov. Syst. Softw. Eng., 17 (3): 319-331 (2021)Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation., , и . MEMOCODE, стр. 47-58. ACM / IEEE, (2023)Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots., , и . ICDCN, стр. 84-93. ACM, (2024)