77 citations · 145 across the 23 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.MA2023
Computationally Feasible Strategies
Catalin Dima, Wojciech Jamroga
Real-life agents seldom have unlimited reasoning power. In this paper, we propose and study a new formal notion of computationally bounded strategic ability in multi-agent systems.…
cs.FL2023
Bandwidth of Timed Automata: 3 Classes
Eugene Asarin, Aldric Degorre, Catalin Dima +1
Timed languages contain sequences of discrete events ("letters'') separated by real-valued delays, they can be recognized by timed automata, and represent behaviors of various real…