Collaborated with:
T.D.Murphey
Talks about:
synthesi (1) alphabet (1) control (1) automat (1) polici (1)
Person: Anastasia Mavrommati
DBLP: Mavrommati:Anastasia
Contributed to:
Wrote 1 papers:
- CASE-2016-MavrommatiM #automation #policy #synthesis
- Automatic synthesis of control alphabet policies (AM, TDM), pp. 313–320.