Vaidyanathan, Prashant
- Metrics for Signal Temporal Logic Formulae
2018/08/01 by Madsen, Curtis, Vaidyanathan, Prashant, Sadraddini, Sadra +5 · 3 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)