95 citations · 277 across the 36 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Nondeterminism and Guarded Commands
Krzysztof R. Apt, Ernst-Rüdiger Olderog
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
cs.GT2023
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games
Krzysztof R. Apt, Sunil Simon
Recently, in [K.R. Apt and S. Simon: Well-founded extensive games with perfect information, TARK21], we studied well-founded games, a natural extension of finite extensive games wi…