Jyotirmoy V. Deshmukh

Affiliations:
  • University of Southern California, Los Angeles, CA, USA
  • Toyota Technical Center, Gardena, CA, USA (former)
  • University of Texas at Austin, USA (former)


According to our database1, Jyotirmoy V. Deshmukh authored at least 106 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.
Int. J. Robotics Res., February, 2024

Conformal Predictive Programming for Chance Constrained Optimization.
CoRR, 2024

2023
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf., August, 2023

Learning Performance Graphs From Demonstrations via Task-Based Evaluations.
IEEE Robotics Autom. Lett., 2023

Data-Driven Template-Free Invariant Generation.
CoRR, 2023

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.
CoRR, 2023

Signal Temporal Logic-Guided Apprenticeship Learning.
CoRR, 2023

Safety Monitoring for Pedestrian Detection in Adverse Conditions.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Robust Testing for Cyber-Physical Systems using Reinforcement Learning.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Conformance Testing for Stochastic Cyber-Physical Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.
Proceedings of the American Control Conference, 2023

Conformal Prediction for STL Runtime Verification.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022
Autonomous Systems Design: Charting a New Discipline.
IEEE Des. Test, 2022

Guest Editors' Introduction: Special Issue on Autonomous Systems Design.
IEEE Des. Test, 2022

Multi Agent Path Finding using Evolutionary Game Theory.
CoRR, 2022

Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.
CoRR, 2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
CoRR, 2022

Pareto Policy Adaptation.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Poster Abstract: Learning from Demonstrations with Temporal Logics.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Learning from Demonstrations under Stochastic Temporal Logic Constraints.
Proceedings of the American Control Conference, 2022

2021
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf., 2021

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains.
IEEE Robotics Autom. Lett., 2021

Mining Shape Expressions with ShapeIt.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

PerceMon: Online Monitoring for Perception Systems.
Proceedings of the Runtime Verification - 21st International Conference, 2021

Trust-aware Control for Intelligent Transportation Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

DiffRNN: Differential Verification of Recurrent Neural Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Non-Markovian Reinforcement Learning using Fractional Dynamics.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2021

A General Trust Framework for Multi-Agent Systems.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Model-based Reinforcement Learning from Signal Temporal Logic Specifications.
CoRR, 2020

Parameter Searching and Partition with Probabilistic Coverage Guarantees.
CoRR, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Mining Environment Assumptions for Cyber-Physical System Models.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

EDA for Autonomous Behavior Assurance.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Interpretable classification of time-series data using efficient enumerative techniques.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Clairvoyant Monitoring for Signal Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Learning from Demonstrations using Signal Temporal Logic.
Proceedings of the 4th Conference on Robot Learning, 2020

2019
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach.
ACM Trans. Embed. Comput. Syst., 2019

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).
Dagstuhl Reports, 2019

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning.
CoRR, 2019

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning.
CoRR, 2019

Preview of predictive monitoring for signal temporal logic with probabilistic guarantees.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Shape Expressions for Specifying and Extracting Signal Features.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Structured Reward Shaping using Signal Temporal Logic specifications.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Structured reward functions using STL: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.
ACM Trans. Embed. Comput. Syst., 2018

Joint Probability Distribution of Prediction Errors of ARIMA.
CoRR, 2018

Time-Series Learning Using Monotonic Logical Properties.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Parameter optimization in control software using statistical fault localization techniques.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Stochastic Temporal Logic Abstractions: Challenges and Opportunities.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Testing Cyber-Physical Systems through Bayesian Optimization.
ACM Trans. Embed. Comput. Syst., 2017

Quantifying conformance using the Skorokhod metric.
Formal Methods Syst. Des., 2017

Robust online monitoring of signal temporal logic.
Formal Methods Syst. Des., 2017

Special session on early life failures.
Proceedings of the 35th IEEE VLSI Test Symposium, 2017

Hyperproperties of real-valued signals.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Logical Clustering and Learning for Time-Series Data.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Learning Auditable Features from Signals Using Unsupervised Temporal Projection.
CoRR, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
Mining Requirements From Closed-Loop Control Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Quantifying Conformance using the Skorokhod Metric (full version).
CoRR, 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Forward invariant cuts to simplify proofs of safety.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Stochastic Local Search for Falsification of Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.
Proceedings of the American Control Conference, 2015

Automotive systems requirement mining using breach.
Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.
Proceedings of the American Control Conference, 2015

2014
Numerically-aided Deductive Safety Proof for a Powertrain Control System.
Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Powertrain control verification benchmark.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Multiple shooting, CEGAR-based falsification for hybrid systems.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Robustness Analysis of Networked Systems.
Proceedings of the Verification, 2013

TRANSIT: specifying protocols with concolic snippets.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Regular Functions and Cost Register Automata.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Robustness Analysis of String Transducers.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2011
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
CoRR, 2011

Logical Concurrency Control from Sequential Proofs
Log. Methods Comput. Sci., 2011

Symbolic modular deadlock analysis.
Autom. Softw. Eng., 2011

Nondeterministic Streaming String Transducers.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.
Proceedings of the ASE 2009, 2009

Verification of recursive methods on tree-like data structures.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Automatic Generation of Local Repairs for Boolean Programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

2006
Automatic Verification of Parameterized Data Structures.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006


  Loading...