vix.ing · top · new · best · stats

B. Srivathsan

  1. A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
    2026/01/21 by Kyveli Doveri, Pierre Ganty, B. Srivathsan · 1 voice
    Computer Science · #cs.FL #cs.LO