Search Results - "Jobstmann, Barbara"

Synthesizing efficient systems in probabilistic environments.

Authors: Essen, Christian Jobstmann, Barbara Parker, David et al.

Source: Acta Informatica; Jun2016, Vol. 53 Issue 4, p425-457, 33p

Reactive synthesis with maximum realizability of linear temporal logic specifications.

Authors: Dimitrova, Rayna Ghasemi, Mahsa Topcu, Ufuk

Source: Acta Informatica; Apr2020, Vol. 57 Issue 1/2, p107-135, 29p

Synthesizing robust systems.

Authors: Bloem, Roderick Chatterjee, Krishnendu Greimel, Karin et al.

Source: Acta Informatica; Jun2014, Vol. 51 Issue 3/4, p193-220, 28p

Measuring and Synthesizing Systems in Probabilistic Environments.

Authors: CHATTERJEE, KRISHNENDU HENZINGER, THOMAS A. JOBSTMANN, BARBARA et al.

Source: Journal of the ACM. Feb2015, Vol. 62 Issue 1, p1-34. 34p.