Sciweavers

2 search results - page 1 / 1
» Game Theory and Operations Research: Some Musings 50 Years L...
Sort
View
FOSSACS
2009
Springer
14 years 5 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas