( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

, , , , , , , , , и . CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2023)

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.

Sanjit Nayak

Sanjit Kumar Sinha

R. A. A. Bowler

°Ake °Akerström

Mohamed A A Anndif

 

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

Towards trustworthy automation: User interfaces that convey internal and external awareness., , , , , и . ITSC, стр. 682-688. IEEE, (2016)An introductory capstone design course on embedded systems., , и . ISCAS, стр. 1199-1202. IEEE, (2011)User interface design and verification for semi-autonomous driving., , , , и . HiCoNS, стр. 63-64. ACM, (2014)Semantic Adversarial Deep Learning., , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 3-26. Springer, (2018)Deciding Separation Formulas with SAT., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 209-222. Springer, (2002)Dynamic contracts for distributed temporal logic control of traffic networks., , , , и . CDC, стр. 3640-3645. IEEE, (2017)Addressing the IEEE AV Test Challenge with Scenic and VerifAI., , , , , , , и . AITest, стр. 136-142. IEEE, (2021)Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications., , , и . ACC, стр. 4209-4216. IEEE, (2021)Directed Specifications and Assumption Mining for Monotone Dynamical Systems., , и . HSCC, стр. 21-30. ACM, (2016)Maximum Model Counting., , и . AAAI, стр. 3885-3892. AAAI Press, (2017)