B Srivathsan

Employment

• Chennai Mathematical Institute
  2013 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (30)

• TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
  2026 DOI: 10.1007/978-3-032-22752-2_33
  +Save
• An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System
  2026 DOI: 10.1007/978-3-032-00347-8_8
  +Save
• A Local-Time Semantics for Negotiations
  2023 DOI: 10.1007/978-3-031-42626-1_7
  +Save
• A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
  2023 DOI: 10.1007/978-3-031-37706-8_14
  +Save
• Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
  2022 DOI: 10.1007/978-3-031-15839-1_2
  +Save
• A Bridge between Polynomial Optimization and Games with Imperfect Recall
  arXiv 2020
  +Save
• A bridge between polynomial optimization and games with imperfect recall
  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020
  +Save
• Reachability for updatable timed automata made faster and more effective
  Leibniz International Proceedings in Informatics, LIPIcs 2020 DOI: 10.4230/LIPIcs.FSTTCS.2020.47
  +Save
• Reachability for updatable timed automata made faster and more effective
  arXiv 2020
  +Save
• Why Liveness for Timed Automata Is Hard, and What We Can Do about It
  ACM Transactions on Computational Logic 2020 DOI: 10.1145/3372310
  +Save