bibliographer - Lakshmi Manasa

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Adding Negative Prices to Priced Timed Games Thomas Brihaye Gilles Geeraerts Shankara Narayanan Krishna Lakshmi Manasa Benjamin Monmege Ashutosh Trivedi [github]

Timed Automata with Integer Resets: Language Inclusion and Expressiveness P. Vijay Suman Paritosh K. Pandya Shankara Narayanan Krishna Lakshmi Manasa [github]

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi [github]

Revisiting Robustness in Priced Timed Games Shibashis Guha Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi [github]

What's Decidable About Recursive Hybrid Automata Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi [github]

On The Reachability Problem for Recursive Hybrid Automata with One and Two Players Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi [github]

Improved Undecidability Results for Reachability Games on Recursive Timed Automata Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi [github]

Adding Negative Prices to Priced Timed Games Thomas Brihaye Gilles Geeraerts Shankara Narayanan Krishna Lakshmi Manasa Benjamin Monmege Ashutosh Trivedi [github]

Updatable Timed Automata with Additive and Diagonal Constraints Lakshmi Manasa Shankara Narayanan Krishna Kumar Nagaraj [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]