( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scalable lazy SMT-based motion planning.

, , , , , , и . CDC, стр. 6683-6688. IEEE, (2016)

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.

Indranil Roy

Indranil Chatterjee

Indranil Chatterjee

Indranil Ganguli

Susanne Saha

 

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

A Distributed Algorithm of Fault Recovery for Stateful Failover., и . TAMC, том 4484 из Lecture Notes in Computer Science, стр. 738-749. Springer, (2007)A reinforcement model for collaborative security and Its formal analysis., и . NSPW, стр. 101-114. ACM, (2009)Location Verification Based Defense Against Sybil Attack in Sensor Networks., и . ICDCN, том 4308 из Lecture Notes in Computer Science, стр. 509-521. Springer, (2006)A Finite State Modeling of AFDX Frame Management Using Spin., и . FMICS/PDMC, том 4346 из Lecture Notes in Computer Science, стр. 227-243. Springer, (2006)An Online Planning Framework for Multi-Robot Systems with LTL Specification., и . ICCPS, стр. 180-191. IEEE, (2024)Antlab: A Multi-Robot Task Server., , и . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , и . HSCC, стр. 7:1-7:12. ACM, (2023)Automated composition of motion primitives for multi-robot systems from safe LTL specifications., , , , и . IROS, стр. 1525-1532. IEEE, (2014)Automatic Dimensional Analysis of Cyber-Physical Systems., , и . FM, том 7436 из Lecture Notes in Computer Science, стр. 356-371. Springer, (2012)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , и . CDC, стр. 5339-5344. IEEE, (2023)