Evènement pour le groupe Modélisation et Verification

Date 2012-09-27  11:30-12:30
TitreStrategy Synthesis (From Specification to Implementation) 
RésuméThis is a short jeurney from the pitfalls and beauty of Church's problem from an automata theoretic angle. We will admire the simplicity of the problems and some funny effects, from forcing the branching mode of the automata involved to the cost incurred. After looking at how we can keep our life simple for a price too hight to pay, we return more and more to the real problem and see with (maybe) some surprise that the it is even simpler. Probably. But we will prove that it is unlikely that we will ever discover the truth. 
OrateurSven Schewe 
UrlLiverpool University 

Aucun document lié à cet événement.

Retour à l'index