Travelled to:1 × Latvia
1 × United Kingdom
Collaborated with:S.Demri A.Sangnier
Talks about:counter (2) system (2) flat (2) properti (1) regular (1) complex (1) verifi (1) tame (1) past (1) ltl (1)
Person: Amit Kumar Dhar
DBLP: Dhar:Amit_Kumar
Contributed to:
2013
2012Wrote 2 papers:
- ICALP-v2-2013-DemriDS #complexity #on the #verification
- On the Complexity of Verifying Regular Properties on Flat Counter Systems, (SD, AKD, AS), pp. 162–173.
- IJCAR-2012-DemriDS #ltl
- Taming Past LTL and Flat Counter Systems (SD, AKD, AS), pp. 179–193.