Ibsen-Jensen, Rasmus
- Infinite-Duration Poorman-Bidding Games
2018/04/12 by Guy Avni, Thomas A. Henzinger, Avni, Guy +3 · 3 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
- The complexity of solving reachability games using value and strategy iteration
2010/07/11 by Kristoffer Arnsfelt Hansen, Hansen, Kristoffer Arnsfelt, Rasmus Ibsen-Jensen +3 · 2 citations
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
- 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 · #Embedded Systems Design Techniques #Formal Methods in Verification #Parallel Computing and Optimization Techniques #cs.DS #cs.PL
- Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
2020/01/29 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus +1 · 1 citation
#Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- All-Pay Bidding Games on Graphs
2019/11/19 by Avni, Guy, Ibsen-Jensen, Rasmus, Tkadlec, Josef · 1 citation
#Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
2018/06/08 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus +1 · 1 citation
#Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Games on Graphs: From Logic and Automata to Algorithms
2023/05/17 by Nathanaël Fijalkow, C. Aiswarya, Fijalkow, Nathanaël +48 · 1 voice · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence in Games #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Logic in Computer Science (cs.LO) #cs.FL #cs.GT #cs.LO
- Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs
2017/06/21 by Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Nowak, Martin A. · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Neural and Evolutionary Computing (cs.NE)
- Bounded-Memory Strategies in Partial-Information Games
2024/05/15 by Sougata Bose, Bose, Sougata, Rasmus Ibsen-Jensen +3 · 2 citations
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