( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.

, , , , и . ITSC, стр. 372-379. 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.

Sayan Mitra

Sayan Chakrabarty

Sayan Ghosh

Uwe Mitransky

Thomas Mitra

 

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

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models., , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 629-652. Springer, (2020)State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems., и . CoRR, (2020)Multi-Agent Motion Planning From Signal Temporal Logic Specifications., , , и . IEEE Robotics Autom. Lett., 7 (2): 3451-3458 (2022)Learning Certifiably Robust Controllers Using Fragile Perception., , , , и . CoRR, (2022)Verifying Cyber-Physical Interactions in Safety-Critical Systems., , и . IEEE Secur. Priv., 11 (4): 28-37 (2013)Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition., , и . CDC, стр. 6177-6182. IEEE, (2010)Multi-agent motion planning using differential games with lexicographic preferences., и . CDC, стр. 5751-5756. IEEE, (2022)HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization., , , , и . CCTA, стр. 923-930. IEEE, (2021)SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions., , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 580-594. Springer, (2021)NeuReach: Learning Reachability Functions from Simulations., и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 322-337. Springer, (2022)