Rasmus Ibsen-Jensen
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
2015/10/26 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +5 · 1 citation
Computer Science · #Formal Methods in Verification #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques
- Infinite-Duration Poorman-Bidding Games
2018/04/12 by Guy Avni, Thomas A. Henzinger, Avni, Guy +3 · 2 citations
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Bounded-Memory Strategies in Partial-Information Games
2024/05/15 by Sougata Bose, Bose, Sougata, Rasmus Ibsen-Jensen +3 · 1 citation
Computer Science · Decision Sciences · #Computability, Logic, AI Algorithms #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Applications #Optimization and Search Problems