( en | de | ru )

 

Disambiguierung von "Pathak, Shashank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Engineering Approaches and Methods to Verify Software in Autonomous Systems.

, , , , , , und . IAS, Volume 302 von Advances in Intelligent Systems and Computing, Seite 1683-1700. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shashank Gupta

Shashank Saran

Trilochan Pathak

Nemaí Chand Pathak

Krishna Mani Pathak

 

Weitere Publikationen von Autoren mit dem selben Namen

Safe and effective learning: A case study., , , , und . ICRA, Seite 4809-4814. IEEE, (2010)Safe Learning with Real-Time Constraints: A Case Study., , , , und . IEA/AIE (1), Volume 6096 von Lecture Notes in Computer Science, Seite 133-142. Springer, (2010)GFLean: An Autoformalisation Framework for Lean via GF.. CoRR, (2024)Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction., , und . AI*IA, Volume 9336 von Lecture Notes in Computer Science, Seite 260-273. Springer, (2015)How to Abstract Intelligence? (If Verification Is in Order)., , , und . AAAI Fall Symposia, AAAI Press, (2013)DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception., , , und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 1610-1611. IOS Press, (2016)Engineering Approaches and Methods to Verify Software in Autonomous Systems., , , , , , und . IAS, Volume 302 von Advances in Intelligent Systems and Computing, Seite 1683-1700. Springer, (2014)Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation., , , und . Cogn. Syst. Res., (2019)Formal and Data Association Aware Robust Belief Space Planning., , , und . STAIRS, Volume 284 von Frontiers in Artificial Intelligence and Applications, Seite 87-98. IOS Press, (2016)Is verification a requisite for safe adaptive robots?, , und . SMC, Seite 3399-3402. IEEE, (2014)