Ashutosh Trivedi

CoRR, 2024

A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs.

[BibT_eX]

[DOI]

Mateo Perez

Fabio Somenzi

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Neural Closure Certificates.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Assume-Guarantee Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Omega-Regular Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Multi-objective ω-Regular Reinforcement Learning.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2023

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software.

[BibT_eX]

[DOI]

CoRR, 2023

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Closure Certificates.

[BibT_eX]

[DOI]

CoRR, 2023

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Metamorphic Testing and Debugging of Tax Preparation Software.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, 2023

Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

The Octatope Abstract Domain for Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Omega-Regular Reward Machines.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Transfer Learning for Barrier Certificates.

[BibT_eX]

[DOI]

Alireza Nadali

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Policy Synthesis and Reinforcement Learning for Discounted LTL.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Reinforcement Learning with Depreciating Assets.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP.

[BibT_eX]

[DOI]

Amin Falah

Shankaranarayanan Krishna

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.

[BibT_eX]

[DOI]

Kalyani Dole

Ashutosh Gupta

John Komp

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5.

[BibT_eX]

[DOI]

Zack McKevitt

Tamara Silbergleit Lehman

Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

2022

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Composing Copyless Streaming String Transducers.

[BibT_eX]

[DOI]

CoRR, 2022

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Metamorphic Testing and Debugging of Tax Preparation Software.

[BibT_eX]

[DOI]

CoRR, 2022

Alternating Good-for-MDP Automata.

[BibT_eX]

[DOI]

CoRR, 2022

Secure-by-construction synthesis of cyber-physical systems.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2022

Recursive Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Fairness-aware Configuration of Machine Learning Libraries.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

k-Inductive Barrier Certificates for Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Reinforcement Learning with Guarantees that Hold for Ever.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Alternating Good-for-MDPs Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

An Impossibility Result in Automata-Theoretic Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

Optimal Repair for Omega-Regular Properties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

Controller Synthesis for Omega-Regular and Steady-State Specifications.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Active Grammatical Inference for Non-Markovian Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Quantitative estimation of side-channel leaks with neural networks.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.

[BibT_eX]

[DOI]

CoRR, 2021

Mungojerrie: Reinforcement Learning of Linear-Time Objectives.

[BibT_eX]

[DOI]

CoRR, 2021

Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.

[BibT_eX]

[DOI]

CoRR, 2021

Discounting the Past in Stochastic Games.

[BibT_eX]

[DOI]

CoRR, 2021

Selectively-Amortized Resource Bounding.

[BibT_eX]

[DOI]

Tianhan Lu

Bor-Yuh Evan Chang

Shankaranarayanan Krishna

Proceedings of the Static Analysis - 28th International Symposium, 2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Kalyani Dole

Ashutosh Gupta

John Komp

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Regular Model Checking with Regular Relations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Formal verification of hyperproperties for control systems.

[BibT_eX]

[DOI]

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Model-Free Reinforcement Learning for Branching Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.

[BibT_eX]

[DOI]

CoRR, 2020

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Data-Driven Debugging for Functional Side Channels.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Detecting and understanding real-world differential performance bugs in machine learning libraries.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Model-Free Reinforcement Learning for Stochastic Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Weighted Transducers for Robustness Verification.

[BibT_eX]

[DOI]

Emmanuel Filiot

Nicolas Mazzocchi

Jean-François Raskin

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

MSO-Definable Regular Model Checking.

[BibT_eX]

[DOI]

CoRR, 2019

Good-for-MDPs Automata.

[BibT_eX]

[DOI]

CoRR, 2019

Type-Directed Bounding of Collections in Reactive Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Omega-Regular Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Limit reachability for model-free reinforcement learning of ω-regular objectives.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Efficient Detection and Quantification of Timing Leaks with Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

Expected Reachability-Price Games.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

On Timed Scope-Bounded Context-Sensitive Languages.

[BibT_eX]

[DOI]

Ramchandra Phawade

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Quantitative Mitigation of Timing Side Channels.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Reinforcement Learning and Formal Requirements.

[BibT_eX]

[DOI]

Fabio Somenzi

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems.

[BibT_eX]

[DOI]

Fabio Somenzi

Behrouz Touri

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Differential Performance Debugging With Discriminant Regression Trees.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Schedulability of Bounded-Rate Multimode Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Discriminating Traces with Time.

[BibT_eX]

[DOI]

Bor-Yuh Evan Chang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Analyzing neighborhoods of falsifying traces in cyber-physical systems.

[BibT_eX]

[DOI]

Ram Das Diwakaran

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

The Reach-Avoid Problem for Constant-Rate Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Expected reachability-time games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

On Nonlinear Prices in Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Incentive Stackelberg Mean-Payoff Games.

[BibT_eX]

[DOI]

Anshul Gupta

Sven Schewe

Sai Krishna Deepak Maram

Bharath Kumar Padarthi

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Stochastic Timed Games Revisited.

[BibT_eX]

[DOI]

S. Akshay

Patricia Bouyer

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

A Logical Characterization for Dense-Time Visibly Pushdown Automata.

[BibT_eX]

[DOI]

Ramchandra Phawade

Proceedings of the Language and Automata Theory and Applications, 2016

Mean-Payoff Games on Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

FO-Definable Transformations of Infinite Strings.

[BibT_eX]

[DOI]

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

A Perfect Class of Context-Sensitive Timed Languages.

[BibT_eX]

[DOI]

Ramchandra Phawade

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2015

Reachability Games on Recursive Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

On Pure Nash Equilibria in Stochastic Games.

[BibT_eX]

[DOI]

Ankush Das

Proceedings of the Theory and Applications of Models of Computation, 2015

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

Symmetric Strategy Improvement.

[BibT_eX]

[DOI]

Sven Schewe

Thomas Varghese

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

What's decidable about recursive hybrid automata?

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Bounded-rate multi-mode systems based motion planning.

[BibT_eX]

[DOI]

Sagar Jha

Sven Schewe

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Revisiting Robustness in Priced Timed Games.

[BibT_eX]

[DOI]

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Skolem Functions for Factored Formulas.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Compositional modeling and analysis of automotive feature product lines.

[BibT_eX]

[DOI]

Ganesh Khandu Narwane

S. Ramesh

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Improved Undecidability Results for Reachability Games on Recursive Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

On The Reachability Problem for Recursive Hybrid Automata with One and Two Players.

[BibT_eX]

[DOI]

CoRR, 2014

First-order Definable String Transformations.

[BibT_eX]

[DOI]

Emmanuel Filiot

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Weak Singular Hybrid Automata.

[BibT_eX]

[DOI]

Umang Mathur

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Adding Negative Prices to Priced Timed Games.

[BibT_eX]

[DOI]

Thomas Brihaye

Gilles Geeraerts

Benjamin Monmege

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

From Monadic Second-Order Definable String Transformations to Transducers.

[BibT_eX]

[DOI]

Antoine Durand-Gasselin

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Safe schedulability of bounded-rate multi-mode systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Regular Transformations of Infinite Strings.

[BibT_eX]

[DOI]

Emmanuel Filiot

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Optimal scheduling for constant-rate multi-mode systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Playing Stochastic Games Precisely.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Relating average and discounted costs for quantitative analysis of timed systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Quantitative Games on Probabilistic Timed Automata

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Gethin Norman

CoRR, 2010

Timed Branching Processes.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Recursive Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Competative optimisation on timed automata.

[BibT_eX]

[DOI]

PhD thesis, 2009

Average-Time Games on Timed Automata

[BibT_eX]

[DOI]

CoRR, 2009

Concavely-Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Average-Time Games.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Concavely-Priced Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Reachability-Time Games on Timed Automata.

[BibT_eX]

[DOI]