vix.ing · top · new · best · stats · spec

Madnani, Khushraj Nanik

  1. Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
    2023/09/01 by Krishna, Shankara Narayanan, Madnani, Khushraj Nanik, Majumdar, Rupak +1 · 1 citation
    #Computation and Language (cs.CL) #F.1.1 #F.4 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)