Ashutosh Trivedi
According to our database^{1},
Ashutosh Trivedi
authored at least 42 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at twitter.com

at orcid.org
On csauthors.net:
Bibliography
2019
TypeDirected Bounding of Collections in Reactive Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
OmegaRegular Objectives in ModelFree Reinforcement Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Global AlmostSure Reachability in Stochastic ConstantRate MultiMode 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 ThirtySecond AAAI Conference on Artificial Intelligence, 2018
2017
Schedulability of BoundedRate 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 cyberphysical systems.
Proceedings of the 8th International Conference on CyberPhysical Systems, 2017
The ReachAvoid Problem for ConstantRate Multimode 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 CyberPhysical Systems, 2016
Incentive Stackelberg MeanPayoff 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 DenseTime Visibly Pushdown Automata.
Proceedings of the Language and Automata Theory and Applications, 2016
MeanPayoff Games on Timed Automata.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016
FODefinable 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 ContextSensitive 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
TimeBounded 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
Boundedrate multimode 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 ComputerAided 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
Firstorder 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 SecondOrder Definable String Transformations to Transducers.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Safe schedulability of boundedrate multimode 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 constantrate multimode 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 ReachabilityTime 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
ConcavelyPriced Probabilistic Timed Automata.
Proceedings of the CONCUR 2009  Concurrency Theory, 20th International Conference, 2009
2008
AverageTime Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008
ConcavelyPriced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
2007
ReachabilityTime Games on Timed Automata.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007