Evènement pour le groupe
Modélisation et Verification
Date | 2012-09-27 11:30-12:30 |
Titre | Strategy 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. |
Lieu | 076 |
Orateur | Sven Schewe |
Email | Sven.Schewe@liverpool.ac.uk |
Url | Liverpool University |
Aucun document lié à cet événement.
RetourRetour à l'index