Collaborated with:P.Gastin B.Srivathsan
Talks about:constraint (1) algorithm (1) automata (1) diagon (1) handl (1) time (1) fast (1)
Person: Sayan Mukherjee 0002
DBLP: 0002:Sayan_Mukherjee
Contributed to:
2019Wrote 1 papers:
- CAV-2019-Gastin0S #algorithm #automaton #constraints #performance
- Fast Algorithms for Handling Diagonal Constraints in Timed Automata (PG, SM0, BS), pp. 41–59.