This page shows all presentations of this author published in EasyChair Smart Slide.
Active Learning for Sound Negotiations
Anca Muscholl and Igor Walukiewicz
Abstractions for the Local-Time Semantics of Timed Automata: a Foundation for Partial-Order Methods
R. Govind, Frédéric Herbreteau, B Srivathsan and Igor Walukiewicz