From Reachability to Temporal Specifications in Game Theory

Speaker:
Orna Kupferman - COLLOQUIUM LECTURE
Date:
Tuesday, 29.11.2016, 14:30
Place:
Room 337-8 Taub Bld.

Back to the index of events