10 citations · 13 across the 12 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
Unambiguous Forest Factorization
Paul Gastin, Shankara Narayanan Krishna
In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morp…
cs.LO2018
Büchi-Kamp Theorems for 1-clock ATA
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh Pandya
This paper investigates Kamp-like and Büchi-like theorems for 1-clock Alternating Timed Automata (1-ATA) and its natural subclasses. A notion of 1-ATA with loop-free-resets is defi…