BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Topcu:Ufuk

Contributed to:

TACAS 20152015
CAV (2) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.