▲
List of Publications
2018
-
Almost-Sure Reachability in Stochastic Multi-Mode System .
Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
In Proc. of HSCC 2018.
-
Differential Performance
Debugging with Discriminant Regression Trees .
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Ashutosh Trivedi
In Proc. of AAAI 2018.
2017
-
The Reach-Avoid Problem for Constant-Rate Multi-mode
Systems .
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
In Proc. of . ATVA 2017.
-
Analyzing neighborhoods of falsifying traces in cyber-physical
systems .
Ram Das Diwakaran, Sriram Sankaranarayanan, and Ashutosh Trivedi
In Proc. of International Conference of Cyber-Physical Systems (ICCPS 2017).
-
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi
In Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017).
2016
-
FO-definable transformations of infinite strings .
Vrunda Dave, Krishna S. and Ashutosh Trivedi.
In Proc. of Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016.
-
Mean-Payoff Games on Timed Automata .
Shibashis Guha, Marcin Jurdzinski, Krishna S. and Ashutosh Trivedi.
In Proc. of Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016.
- Stochastic Timed
Games Revisited .
S Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.
In Proc. of Mathematical Foundations of Computer Science (MFCS 2016)
-
Expected reachability-time games .
Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
In Theoretical Computer Science 631: 139-160 (2016)
-
A Perfect Class of Context-Sensitive Timed Languages .
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
In Proc. of Developments in Language Theory (DLT 2016), Volume 9840 of the series LNCS, pp 38-50
-
A Logical Characterization for Dense-Time Visibly Pushdown
Automata .
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
In Proc. of Language and Automata Theory and Applications (LATA 2016), Volume 9618 of the series LNCS, pp 89-101
-
Incentive
Stackelberg Mean-Payoff Games .
Anshul Gupta, Sven Schewe, Ashutosh Trivedi, M. S. Krishna Deepak, Bharath Kumar Padarthi.
In Proc. of Software Engineering and Formal Methods (SEFM 2016), Volume 9763 of the series LNCS, pp 304-320
2015
-
Compositional modeling and analysis of automotive feature product
lines.
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
In Proc. of Design Automation Conference (DAC 2015).
-
Skolem Functions for
Factored Formulas.
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
In Proc. of Formal Methods in Computer-Aided Design (FMCAD 2015).
-
Revisiting
Robustness in Priced Timed Games.
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
In Proc. of Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2015.
-
Reachability Games on Recursive Hybrid Automata.
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
In Proc. of TIME 2015.
-
Symmetric Strategy Improvment .
Sven Schewe, Ashutosh Trivedi, Thomas Varghese.
In Proc. of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015).
-
On Pure Nash Equilibria in Stochastic Games.
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, and Dominik Wojtczak.
In Proc. of the 12th international conference on Theory and Applications of Models of Computation TAMC 2015.
-
What is Decidable about Recursive Hybrid Automata?
Shankara Narayanan Krishna, Lakhsmi Manasa, and Ashutosh Trivedi.
In Proc. of Hybrid Systems: Computation and Control (HSCC'15).
-
Bounded-Rate Multi-Mode Systems Based Motion Planning.
Devendra Bhave, Sagar Jha, Shakara Narayanan Krishna, Sven Schewe, and Ashutosh Trivedi.
In Proc. of Hybrid Systems: Computation and Control (HSCC'15).
-
The Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
Shankara Narayanan Krishna, Lakshmi Manasa, and Ashutosh Trivedi.
In Proc. of Language and Automata Theory and Applications (LATA'15).
2014
-
First-order definable string transformations.
Emmanuel Filiot, Shankara Narayanan Krishna, and Ashutosh Trivedi.
In Proc. of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014).
-
Weak Singular Hybrid Automata .
Shankara Narayanan Krishna, Umang Mathur, and Ashutosh Trivedi.
In Proc. of International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014.
-
Adding Negative Prices to Priced Timed
Games .
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, and Ashutosh Trivedi.
In Proc. of International Conference on Concurrency Theory (CONCUR 2014).
-
Improved Undecidability Results for Reachability Games on Recursive Timed Automata.
Shankara Narayanan Krishna, Lakshmi Manasa, and Ashutosh Trivedi.
In Proc. of International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014).
2013
-
Hybrid Automata for Formal Modeling
and Verification of Cyber-Physical Systems.
Shankara Narayanan Krishna and Ashutosh Trivedi.
Journal of the Indian Institute of Science, 2013.
-
From Monadic Second-Order Definable String Transformations to Transducers.
Rajeev Alur, Antoine Durand-Gasselin, and Ashutosh Trivedi.
Proceedings of 28th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, 2013.
-
Safe Schedulability of Bounded-Rate Multi-Mode Systems.
Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi.
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013,
2012
-
Playing Stochastic Games Precisely.
Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, and Michael Ummels.
Proceedings of 23rd International Conference on Concurrency Theory, CONCUR 2012.
-
Regular Transformations of Infinite
Strings.
Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi.
Proceedings of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science, LICS 2012.
-
Optimal Scheduling for Constant-Rate
Multi-Mode System.
Rajeev Alur, Ashutosh Trivedi, and Dominik Wojtczak.
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC 2012.
Best paper award, HSCC, CPS Week 2012.
2011
-
Relating Average and Discounted Costs for
Quantitative Analysis of Timed Systems.
Rajeev Alur and Ashutosh Trivedi.
Proceedings of the 9th ACM international conference on Embedded software, EMSOFT 2011.
2010
-
Recursive Timed Automata.
Ashutosh Trivedi and Dominik Wojtczak.
Proceedings of 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010.
-
Timed Branching Processes.
Ashutosh Trivedi and Dominik Wojtczak.
Proceedings of the 7th International Conference on Quantitative Evaluation of Systems, QEST 2010.
-
Expected Reachability-time Games.
Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
[Full version]
Proceedings of 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010.
-
Quantitative Games on Probabilistic Timed Automata .
Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
Unpublished manuscript, CoRR abs/1001.1933, 2010
2009
-
Competitive Optimisation on Timed
Automata
Ashutosh Trivedi.
PhD dissertation, The University of Warwick.
-
Concavely-Priced Probabilistic Timed Automata
[Full
version].
Marcin Jurdzinski, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
Proceedings of 20th International Conference on Concurrency Theory, CONCUR 2009.
2008
-
Average-Time Games
[Full version].
Marcin Jurdzinski and Ashutosh Trivedi.
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008).
-
Concavely-Priced Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi.
Proceedings of 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008.
2007
-
Reachability-Time Games on Timed Automata
[Full
version].
Marcin Jurdzinski and Ashutosh Trivedi.
Proceedings of 34th International Colloquium on Automata, Languages and Programming, ICALP 2007.
2003
-
Techniques In Symbolic Model Checking
Ashutosh Trivedi.
Master's dissertation, IIT Bombay.