Jyotirmoy V. Deshmukh

Available identifiers

zbMath Open deshmukh.jyotirmoy-vMaRDI QIDQ526756

List of research outcomes

Publication	Date of Publication	Type
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives	2024-02-21	Paper
Poster Abstract: Learning from Demonstrations with Temporal Logics	2024-02-21	Paper
Numerically-robust inductive proof rules for continuous dynamical systems	2024-02-16	Paper
Logical clustering and learning for time-series data	2022-07-01	Paper
Mining interpretable spatio-temporal logic properties for spatially distributed systems	2022-06-22	Paper
DiffRNN: differential verification of recurrent neural networks	2022-03-24	Paper
Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques	2021-12-15	Paper
Clairvoyant monitoring for signal temporal logic	2021-03-02	Paper
Interpretable classification of time-series data using efficient enumerative techniques	2021-01-25	Paper
Predictive monitoring for signal temporal logic with probabilistic guarantees	2019-10-22	Paper
Structured reward functions using STL	2019-10-22	Paper
Stochastic temporal logic abstractions: challenges and opportunities	2018-12-06	Paper
Quantifying conformance using the Skorokhod metric	2018-03-01	Paper
Robust online monitoring of signal temporal logic	2017-09-08	Paper
Abnormal Data Classification Using Time-Frequency Temporal Logic	2017-07-11	Paper
Regular Functions and Cost Register Automata	2017-07-03	Paper
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software	2017-05-19	Paper
Simulation-guided lyapunov analysis for hybrid dynamical systems	2017-05-16	Paper
Powertrain control verification benchmark	2017-05-16	Paper
Mining requirements from closed-loop control models	2017-05-16	Paper
Quantifying conformance using the Skorokhod metric	2017-05-15	Paper
Numerically-aided deductive safety proof for a powertrain control system	2016-12-16	Paper
Discovering Forward Invariant Sets for Nonlinear Dynamical Systems	2016-01-11	Paper
Stochastic Local Search for Falsification of Hybrid Systems	2016-01-08	Paper
Robustness Analysis of Networked Systems	2014-11-03	Paper
Robustness Analysis of String Transducers	2014-07-08	Paper
Logical Concurrency Control from Sequential Proofs	2012-04-02	Paper
Nondeterministic Streaming String Transducers	2011-07-07	Paper
Logical Concurrency Control from Sequential Proofs	2010-05-04	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper

Research outcomes over time

This page was built for person: Jyotirmoy V. Deshmukh