R. Govind

According to our database, R. Govind authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Simulations for Event-Clock Automata.

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

Log. Methods Comput. Sci., 2024

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the Formal Methods - 26th International Symposium, 2024

Reversible Transducers over Infinite Words.

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna

Proceedings of the 35th International Conference on Concurrency Theory, 2024

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.

S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Reversible Regular Languages: Logical and Algebraic Characterisations.

Paul Gastin, Amaldev Manuel, R. Govind

Fundam. Informaticae, 2021

2019

Logics for Reversible Regular Languages and Semigroups with Involution.

Paul Gastin, Amaldev Manuel, R. Govind

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Revisiting Local Time Semantics for Networks of Timed Automata.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the 30th International Conference on Concurrency Theory, 2019