Srikar Balasubramanian

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Formal Specification Language

Top Venues

AAAI Spring Symposium: MAKE

Publications

Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian, Abhiraj Chaudhary, Paulo Shakarian
PyReason: Software for Open World Temporal Logic. AAAI Spring Symposium: MAKE (2023)
Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian, Abhiraj Chaudhary, Paulo Shakarian
PyReason: Software for Open World Temporal Logic. CoRR (2023)