Ashutosh Trivedi

According to our database1, Ashutosh Trivedi authored at least 42 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Type-Directed Bounding of Collections in Reactive Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Omega-Regular Objectives in Model-Free Reinforcement Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Differential Performance Debugging With Discriminant Regression Trees.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Schedulability of Bounded-Rate Multimode Systems.
ACM Trans. Embedded Comput. Syst., 2017

Discriminating Traces with Time.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Analyzing neighborhoods of falsifying traces in cyber-physical systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

The Reach-Avoid Problem for Constant-Rate Multi-mode Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
On Nonlinear Prices in Timed Automata.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Incentive Stackelberg Mean-Payoff Games.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Stochastic Timed Games Revisited.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

A Logical Characterization for Dense-Time Visibly Pushdown Automata.
Proceedings of the Language and Automata Theory and Applications, 2016

Mean-Payoff Games on Timed Automata.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

FO-Definable Transformations of Infinite Strings.
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.
Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015
Reachability Games on Recursive Hybrid Automata.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

On Pure Nash Equilibria in Stochastic Games.
Proceedings of the Theory and Applications of Models of Computation, 2015

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.
Proceedings of the Language and Automata Theory and Applications, 2015

Symmetric Strategy Improvement.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

What's decidable about recursive hybrid automata?
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Bounded-rate multi-mode systems based motion planning.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Revisiting Robustness in Priced Timed Games.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Skolem Functions for Factored Formulas.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Compositional modeling and analysis of automotive feature product lines.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Improved Undecidability Results for Reachability Games on Recursive Timed Automata.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

First-order Definable String Transformations.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Weak Singular Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Adding Negative Prices to Priced Timed Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
From Monadic Second-Order Definable String Transformations to Transducers.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Safe schedulability of bounded-rate multi-mode systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012
Regular Transformations of Infinite Strings.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Optimal scheduling for constant-rate multi-mode systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Playing Stochastic Games Precisely.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Relating average and discounted costs for quantitative analysis of timed systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Timed Branching Processes.
Proceedings of the QEST 2010, 2010

Expected Reachability-Time Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Recursive Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Competative optimisation on timed automata.
PhD thesis, 2009

Concavely-Priced Probabilistic Timed Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Average-Time Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Concavely-Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007
Reachability-Time Games on Timed Automata.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007


  Loading...