( en | de | ru )

 

Disambiguierung von "Deshmukh, Jyotirmoy V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Forward invariant cuts to simplify proofs of safety.

, , , , und . EMSOFT, Seite 227-236. IEEE, (2015)

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.

Sachin Deshmukh

Ravindra Deshmukh

Manjeet Vinayakrao Deshmukh

V Saile

V Geoffroy

 

Weitere Publikationen von Autoren mit dem selben Namen

Simulation-guided lyapunov analysis for hybrid dynamical systems., , , und . HSCC, Seite 133-142. ACM, (2014)Shape Expressions for Specifying and Extracting Signal Features., , , , und . RV, Volume 11757 von Lecture Notes in Computer Science, Seite 292-309. Springer, (2019)Structured Reward Shaping using Signal Temporal Logic specifications., und . IROS, Seite 3481-3486. IEEE, (2019)Joint Probability Distribution of Prediction Errors of ARIMA., und . CoRR, (2018)Nondeterministic Streaming String Transducers., und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2011)Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)., , und . Dagstuhl Reports, 9 (2): 48-72 (2019)Learning Performance Graphs From Demonstrations via Task-Based Evaluations., , und . IEEE Robotics Autom. Lett., 8 (1): 336-343 (2023)Specification-guided Software Fault Localization for Autonomous Mobile Systems., , , und . MEMOCODE, Seite 1-12. IEEE, (2020)Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference., , , und . CDC, Seite 3102-3109. IEEE, (2023)A trajectory splicing approach to concretizing counterexamples for hybrid systems., , , und . CDC, Seite 3918-3925. IEEE, (2013)