Publication
-
January 2011 -
An executable Theory of Multi-Agent Systems Refinement Dissertation
Formal MethodsJanuary 2011
-
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice Dissertation
Algorithms and ComplexityJanuary 2011 -
Sequences with trivial initial segment complexity Master Thesis
February 2011 -
Deliverable D7.1 Project website Tech Report
February 2011
-
Visjes tellen : Hoe?Zo! Radio, 15.02.2011, NTR [21:57] News Broadcast
February 2011
-
February 2011
-
SAT-based verification for timed component connectors Article
Science of Computer ProgrammingFebruary 2011