3 citations · 3 across the 2 of their papers we have counts for
3 papers
Learning from Demonstrations using Signal Temporal Logic
Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Learning-from-demonstrations is an emerging paradigm to obtain effective robot control policies for complex tasks via reinforcement learning without the need to explicitly design r…
Mining Environment Assumptions for Cyber-Physical System Models
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic
Many complex cyber-physical systems can be modeled as heterogeneous components interacting with each other in real-time. We assume that the correctness of each component can be spe…
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic +2
Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to…