default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDS. Krishna 0004
Shankaranarayanan Krishna – Shankara Narayanan Krishna
Person information
- affiliation: Indian Institute of Technology Bombay, Mumbai, India
Other persons with the same name
- S. Krishna — disambiguation page
- S. Krishna 0001 — University Visvesvaraya College of Engineering, Bangalore, India
- S. Krishna 0002
![[0000-0002-5586-3351]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-5586-3351")
— Indian Institute of Technology Madras, Department of Electrical Engineering, Chennai, India - S. Krishna 0003 — Amrita Vishwa Vidyapeetham, Amritapuri, India
- S. Krishna 0005 — Indian Institute of Management Bangalore (IIM Bangalore), India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j24]Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe:
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proc. ACM Program. Lang. 8(POPL): 1239-1268 (2024)- [j23]Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8(POPL): 1978-2009 (2024) - [c95]David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge:
Rational Verification with Quantitative Probabilistic Goals. AAMAS 2024: 871-879 - [c94]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala:
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency 2024: 1-21 - [c93]Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna:
Reversible Transducers over Infinite Words. CONCUR 2024: 21:1-21:22 - [c92]Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche:
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP 2024: 142:1-142:17 - [c91]Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha:
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. KR 2024 - [i59]Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney:
Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR abs/2404.02872 (2024) - [i58]Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche:
An efficient quantifier elimination procedure for Presburger arithmetic. CoRR abs/2405.01183 (2024) - [i57]Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna:
Reversible Transducers over Infinite Words. CoRR abs/2406.11488 (2024) - [i56]Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha:
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. CoRR abs/2407.20782 (2024) - [i55]Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh K. Pandya:
Openness And Partial Adjacency In One Variable TPTL. CoRR abs/2411.00117 (2024) - 2023
- [j22]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35(2): 9:1-9:50 (2023) - [j21]Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7(PLDI): 761-785 (2023) - [c90]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI 2023: 14792-14800 - [c89]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez:
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS 2023: 2857-2859 - [c88]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala:
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) 2023: 184-205 - [c87]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR 2023: 23:1-23:18 - [c86]Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche:
Counter Machines with Infrequent Reversals. FSTTCS 2023: 42:1-42:17 - [c85]Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe:
Optimal Stateless Model Checking for Causal Consistency. TACAS (1) 2023: 105-125 - [c84]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. TACAS (1) 2023: 588-606 - [d2]Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Version 2. Zenodo, 2023 [all versions]
- [d1]Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Version 5. Zenodo, 2023 [all versions] - [i54]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. CoRR abs/2302.02163 (2023) - [i53]Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR abs/2304.03714 (2023) - [i52]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala:
Overcoming Memory Weakness with Unified Fairness. CoRR abs/2305.17605 (2023) - [i51]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR abs/2309.00386 (2023) - [i50]Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard is Weak-Memory Testing? CoRR abs/2311.04302 (2023) - [i49]Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe:
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. CoRR abs/2311.04319 (2023) - 2022
- [j20]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular transducer expressions for regular transformations. Inf. Comput. 282: 104655 (2022) - [j19]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. 18(2) (2022) - [c83]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair for Omega-Regular Properties. ATVA 2022: 354-370 - [c82]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. ESOP 2022: 317-345 - [c81]Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna:
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS 2022: 50:1-50:13 - [c80]Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty:
Parameterized Verification under Release Acquire is PSPACE-complete. PODC 2022: 482-492 - [i48]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. CoRR abs/2201.10213 (2022) - [i47]Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna:
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR abs/2202.04340 (2022) - [i46]Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
Optimal Repair For Omega-regular Properties. CoRR abs/2207.13416 (2022) - [i45]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe:
Optimal SMC for Transactional Programs. CoRR abs/2211.09020 (2022) - 2021
- [c79]Aneesh K. Shetty, S. Krishna, Georg Zetzsche:
Scope-Bounded Reachability in Valence Systems. CONCUR 2021: 29:1-29:19 - [c78]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis:
The Decidability of Verification under PS 2.0. ESOP 2021: 1-29 - [c77]Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
Regular Model Checking with Regular Relations. FCT 2021: 190-203 - [c76]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM 2021: 182-199 - [c75]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way Resynchronizability of Word Transducers. FoSSaCS 2021: 124-143 - [c74]S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury:
Resilience of Timed Systems. FSTTCS 2021: 33:1-33:22 - [c73]Luc Dartois, Paul Gastin, Shankara Narayanan Krishna:
SD-Regular Transducer Expressions for Aperiodic Transformations. LICS 2021: 1-13 - [c72]Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS 2021: 240-252 - [i44]Luc Dartois, Paul Gastin, Shankara Narayanan Krishna:
SD-Regular Transducer Expressions for Aperiodic Transformations. CoRR abs/2101.07130 (2021) - [i43]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way resynchronizability of word transducers. CoRR abs/2101.08011 (2021) - [i42]Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer:
Safety Verification of Parameterized Systems under Release-Acquire. CoRR abs/2101.12123 (2021) - [i41]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR abs/2105.09534 (2021) - [i40]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR abs/2107.12986 (2021) - [i39]Aneesh K. Shetty, S. Krishna, Georg Zetzsche:
Scope-Bounded Reachability in Valence Systems. CoRR abs/2108.00963 (2021) - [i38]Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna:
Quantitative Learning of LTL from Finite Traces. CoRR abs/2110.13616 (2021) - 2020
- [c71]Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna:
Robust Controller Synthesis for Duration Calculus. ATVA 2020: 429-446 - [c70]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CONCUR 2020: 16:1-16:19 - [c69]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Synthesis of Computable Regular Functions of Infinite Words. CONCUR 2020: 43:1-43:17 - [c68]Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner:
Containment of Simple Conjunctive Regular Path Queries. KR 2020: 371-380 - [c67]S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury:
Revisiting Underapproximate Reachability for Multipushdown Systems. TACAS (1) 2020: 387-404 - [i37]S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury:
Revisiting Underapproximate Reachability for Multipushdown Systems. CoRR abs/2002.05950 (2020) - [i36]Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner:
Containment of Simple Regular Path Queries. CoRR abs/2003.04411 (2020) - [i35]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CoRR abs/2005.09489 (2020) - [i34]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis:
The Decidability of Verification under Promising 2.0. CoRR abs/2007.09944 (2020)
2010 – 2019
- 2019
- [c66]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-Bounded Context-Sensitive Languages. DLT 2019: 168-181 - [c65]S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah:
Knowledge Compilation for Boolean Functional Synthesis. FMCAD 2019: 161-169 - [c64]S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna:
Timed Systems through the Lens of Logic. LICS 2019: 1-13 - [c63]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. MFCS 2019: 69:1-69:14 - [c62]Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Verification of programs under the release-acquire semantics. PLDI 2019: 1117-1132 - [i33]S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna:
Timed Systems through the Lens of Logic. CoRR abs/1903.03773 (2019) - [i32]Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
On Timed Scope-bounded Context-sensitive Languages. CoRR abs/1905.11125 (2019) - [i31]Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote:
Deciding the Computability of Regular Functions over Infinite Words. CoRR abs/1906.04199 (2019) - [i30]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. CoRR abs/1906.08688 (2019) - [i29]S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah:
Knowledge Compilation for Boolean Functional Synthesis. CoRR abs/1908.06275 (2019) - [i28]Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi:
MSO-Definable Regular Model Checking. CoRR abs/1910.09072 (2019) - 2018
- [j18]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. Log. Methods Comput. Sci. 14(2) (2018) - [c61]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Logics Meet 1-Clock Alternating Timed Automata. CONCUR 2018: 39:1-39:17 - [c60]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 - [c59]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya:
Verification of Timed Asynchronous Programs. FSTTCS 2018: 8:1-8:16 - [c58]Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna:
Regular and First-Order List Functions. LICS 2018: 125-134 - [c57]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular Transducer Expressions for Regular Transformations. LICS 2018: 315-324 - [i27]Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular Transducer Expressions for Regular Transformations. CoRR abs/1802.02094 (2018) - [i26]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Büchi-Kamp Theorems for 1-clock ATA. CoRR abs/1802.02514 (2018) - [i25]Mikolaj Bojanczyk, Laure Daviaud, S. Krishna:
Regular and First Order List Functions. CoRR abs/1803.06168 (2018) - [i24]Paul Gastin, Shankara Narayanan Krishna:
Unambiguous Forest Factorization. CoRR abs/1810.07285 (2018) - 2017
- [j17]Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi:
Further results on generalised communicating P systems. Theor. Comput. Sci. 701: 146-160 (2017) - [c56]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA 2017: 463-479 - [c55]S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar:
Towards an Efficient Tree Automata Based Technique for Timed Systems. CONCUR 2017: 39:1-39:15 - [c54]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Making Metric Temporal Logic Rational. MFCS 2017: 77:1-77:14 - [i23]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Making Metric Temporal Logic Rational. CoRR abs/1705.01501 (2017) - [i22]S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar:
Towards an Efficient Tree Automata based technique for Timed Systems. CoRR abs/1707.02297 (2017) - [i21]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR abs/1707.04151 (2017) - [i20]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
What is Decidable about Perfect Timed Channels? CoRR abs/1708.05063 (2017) - 2016
- [j16]Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh:
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18(8): 269 (2016) - [c53]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. CONCUR 2016: 27:1-27:14 - [c52]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Perfect Class of Context-Sensitive Timed Languages. DLT 2016: 38-50 - [c51]Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Metric Temporal Logic with Counting. FoSSaCS 2016: 335-352 - [c50]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-Definable Transformations of Infinite Strings. FSTTCS 2016: 12:1-12:14 - [c49]Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. FSTTCS 2016: 44:1-44:14 - [c48]Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi:
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA 2016: 89-101 - [c47]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. MFCS 2016: 8:1-8:14 - [c46]Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi:
On Nonlinear Prices in Timed Automata. V2CPS@IFM 2016: 65-78 - [i19]S. Akshay, Paul Gastin, Shankara Narayanan Krishna:
Analyzing Timed Systems Using Tree Automata. CoRR abs/1604.08443 (2016) - [i18]Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-definable transformations of infinite strings. CoRR abs/1607.04910 (2016) - [i17]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. CoRR abs/1607.05671 (2016) - [i16]Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata. CoRR abs/1607.08480 (2016) - 2015
- [c45]Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi:
Compositional modeling and analysis of automotive feature product lines. DAC 2015: 57:1-57:6 - [c44]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. FSTTCS 2015: 261-277 - [c43]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
What's decidable about recursive hybrid automata? HSCC 2015: 31-40 - [c42]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50 - [c41]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA 2015: 237-248 - [c40]Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak:
On Pure Nash Equilibria in Stochastic Games. TAMC 2015: 359-371 - [c39]Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Reachability Games on Recursive Hybrid Automata. TIME 2015: 150-159 - [e1]Mohua Banerjee, Shankara Narayanan Krishna:
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings. Lecture Notes in Computer Science 8923, Springer 2015, ISBN 978-3-662-45823-5 [contents] - [i15]Shankara Narayanan Krishna, Ashutosh Trivedi:
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR abs/1503.04928 (2015) - [i14]Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. CoRR abs/1507.05787 (2015) - [i13]Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Metric Temporal Logic with Counting. CoRR abs/1512.09032 (2015) - 2014
- [c38]Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi:
Adding Negative Prices to Priced Timed Games. CONCUR 2014: 560-575 - [c37]Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi:
Weak Singular Hybrid Automata. FORMATS 2014: 161-175 - [c36]Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi:
First-order Definable String Transformations. FSTTCS 2014: 147-159 - [c35]