Engineering Hebrew University of Jerusalem Moshe Y. Vardi Thomas Wilke Department / Wilke hq / /
IndustryTerm
reactive systems / multi-agent systems / probabilistic systems / /
Organization
Department of Computer Science Rice University Institut f¨ur Informatik Christian-Albrechts-Universit¨at / Hebrew University of Jerusalem / Trinity University School of Computer Science / /
Person
Lemma / Moshe Y. Vardi Thomas Wilke / Rabin / Seth Fogarty Orna Kupferman / /