Travelled to:1 × United Kingdom
Collaborated with:R.Alur S.Moarref N.Basset M.Z.Kwiatkowska C.Wiltsche
Talks about:synthesi (3) reactiv (2) strategi (1) stochast (1) guarante (1) composit (1) pattern (1) multipl (1) control (1) system (1)
Person: Ufuk Topcu
DBLP: Topcu:Ufuk
Contributed to:
2015
2016Wrote 3 papers:
- TACAS-2015-AlurMT #refinement #specification #synthesis
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
- TACAS-2015-BassetKTW #game studies #multi #probability #synthesis
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.
- CAV-2016-AlurMT #composition #multi #synthesis
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems (RA, SM, UT), pp. 251–269.