Collaborated with:
B.Srivastava S.Kambhampati
Talks about:
structur (1) approach (1) synthes (1) planner (1) specif (1)
Person: Amol Dattatraya Mali
DBLP: Mali:Amol_Dattatraya
Contributed to:
Wrote 1 papers:
- ASE-1997-SrivastavaKM #approach #specification
- A Structured Approach for Synthesizing Planners from Specifications (BS, SK, ADM), pp. 18–27.