Walukiewicz, Igor
- Alternating Timed Automata
2005/12/08 by Slawomir Lasota, Sławomir Lasota, Igor Walukiewicz +2 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #cs.LO #semigroups and automata theory
- The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
2016/05/02 by Lorenzo Clemente, Paweł Parys, Clemente, Lorenzo +5 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #cs.FL #cs.LO #semigroups and automata theory
- The Complexity of Games on Higher Order Pushdown Automata
2007/05/02 by Thierry Cachat, Igor Walukiewicz, Cachat, Thierry +1 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.GT
- Characterizing consensus in the Heard-Of model
2020/04/20 by Balasubramanian, A. R., Walukiewicz, Igor · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Distributed controller synthesis for deadlock avoidance
2022/04/26 by Corto Mascle, Gimbert, Hugo, Anca Muscholl +4 · 1 citation
Computer Science · Engineering · #Petri Nets in System Modeling #Formal Methods in Verification #Stability and Control of Uncertain Systems
- Revisiting local time semantics for networks of timed automata
2019/07/04 by Govind, R., Herbreteau, Frédéric, Srivathsan, B. +1 · 1 citation
#68Q60 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)