List of Publications
For the most recent list of publications, please visit:
Google Scholar,
DBLP,
ResearchID,
,
ORCID , and
ResearchGate.
- Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23(4): 641-654 (2021)
- Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) 2021: 651-673
- Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC 2021: 1314-1320
- Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek 2021: 29-30
- Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
Regular Model Checking with Regular Relations. FCT 2021: 190-203
- Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159
- Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. SAS 2021: 286-307
-
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement
Learning. TACAS (1) 2020: 306-323
- Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124
- Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi:
Weighted Transducers for Robustness Verification. CONCUR 2020: 17:1-17:21
- Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16
- Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA 2020: 189-199
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Data-Driven Debugging for Functional Side Channels. NDSS 2020
-
Reinforcement Learning and Formal Requirements.
Fabio Somenzi, Ashutosh Trivedi.
In Proc. of NSV@CAV 2019.
-
Quantitative Mitigation of Timing Side Channels.
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi.
In Proc. of CAV 2019.
-
On Timed Scope-Bounded Context-Sensitive Languages.
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi.
In Proc. of DLT 2019.
-
Expected Reachability-Price Games.
Shibashis Guha, Ashutosh Trivedi.
In Proc. of FORMATS 2019.
-
Omega-Regular Objectives in Model-Free Reinforcement Learning.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi,
Dominik Wojtczak.
In Proc. of TACAS 2019.
-
Type-Directed Bounding of Collections in Reactive Programs.
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi.
In Proc. of VMCAI 2019.
-
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).
-
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
-
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).
-
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).
-
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,
-
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.
-
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
-
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.