Name Card

Full name Familienname, Vorname
Deshmukh, Jyotirmoy V.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Qin-2023-Conformance Testing for Stochastic Cyber-Physical Systems-vor.pdf.jpgQin, Xin ; Hashemi, Navid ; Lindemann, Lars ; Deshmukh, Jyotirmoy V. Conformance Testing for Stochastic Cyber-Physical SystemsInproceedings Konferenzbeitrag Oct-2023
2Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed SystemsKonferenzbeitrag Inproceedings2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsInproceedings Konferenzbeitrag 2022