Igor Walukiewicz - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 7 von 7

)

[ ] Asynchronous Games over Tree Architectures

arxiv.org

Authors:Blaise Genest (INRIA - IRISA), Hugo Gimbert (LaBRI), Anca Muscholl (LaBRI), Igor Walukiewicz (LaBRI). Download PDF. Abstract: We ...

[ ] Distributed synthesis for acyclic architectures

arxiv.org

Authors:Anca Muscholl (LaBRI), Igor Walukiewicz (LaBRI). Download PDF. Abstract: The distributed synthesis problem is about constructing ...

Alternation hierarchies - Homepages of UvA/FNWI staffstaff.fnwi.uva.nl › mfl › walukiewicz

staff.fnwi.uva.nl

Invited Talk: Igor Walukiewicz. Alternation hierarchies. In analogy with classical quantifier alternation hierarchies one can define the hierarchies based on ...

[ ] Efficient Emptiness Check for Timed Büchi Automata...

arxiv.org

Authors:Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz · Download PDF. Abstract: The Büchi non-emptiness problem for timed automata ...

[ ] Revisiting local time semantics for networks of timed...

arxiv.org

Title:Revisiting local time semantics for networks of timed automata. Authors:R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz.

[ ] Using models to model-check recursive schemes

arxiv.org

Authors: Sylvain Salvati (INRIA, LaBRI, université de Bordeaux), Igor Walukiewicz (CNRS, LaBRI, université de Bordeaux). (Submitted on

Verwandte Suchanfragen zu Igor Walukiewicz

Anca Muscholl
Christof Löding
Stefan Dziembowski

Personen
Vorname "Igor" (6775)
Name "Walukiewicz" (5)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Igor Walukiewicz

[ ] Asynchronous Games over Tree Architectures

[ ] Distributed synthesis for acyclic architectures

Alternation hierarchies - Homepages of UvA/FNWI staffstaff.fnwi.uva.nl › mfl › walukiewicz

[ ] Efficient Emptiness Check for Timed Büchi Automata...

[ ] Revisiting local time semantics for networks of timed...

[ ] Using models to model-check recursive schemes