Travelled to:1 × Belgium
2 × USA
Collaborated with:P.Varaiya S.C.Krishnan R.K.Brayton T.A.Henzinger P.W.Kopke
Talks about:automata (3) hybrid (2) decid (2) rectangular (1) differenti (1) system (1) inclus (1) applic (1) rabin (1) index (1)
Person: Anuj Puri
DBLP: Puri:Anuj
Contributed to:
1995
19951994Wrote 3 papers:
- CAV-1995-KrishnanPBV #automaton #game studies
- The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
- STOC-1995-HenzingerKPV #automaton #decidability #hybrid #question #what
- What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
- CAV-1994-PuriV #decidability #difference #hybrid
- Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.