Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:F.v.Breugel J.Worrell P.K.Pandya S.Chakraborty
Talks about:probabilist (1) pseudometr (1) behaviour (1) discount (1) approxim (1) without (1) system (1) interv (1) valid (1) logic (1)
Person: Babita Sharma
DBLP: Sharma:Babita
Contributed to:
2007
2005Wrote 2 papers:
- FoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo
- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.
- TACAS-2005-SharmaPC #bound #logic
- Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.