Travelled to:1 × USA
Collaborated with:H.Kress-Gazit R.Ehlers
Talks about:unsynthesiz (1) synthesi (1) behavior (1) specif (1) ltlmop (1) extens (1) analyz (1) robot (1) level (1) slug (1)
Person: Vasumathi Raman
DBLP: Raman:Vasumathi
Contributed to:
20112016Wrote 2 papers:
- CAV-2011-RamanK #behaviour #specification #using
- Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP (VR, HKG), pp. 663–668.
- CAV-2016-EhlersR #named #synthesis
- Slugs: Extensible GR(1) Synthesis (RE, VR), pp. 333–339.