Login / Signup
Frank M. V. Feys
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Transition Matrices
Decision Processes
Fixpoint Semantics
Markov Decision Processes
Top Venues
CMCS
TARK
</>
Publications
</>
Frank M. V. Feys
,
Helle Hvid Hansen
Arrow's Theorem Through a Fixpoint Argument.
TARK
(2019)
Frank M. V. Feys
,
Helle Hvid Hansen
,
Lawrence S. Moss
Long-Term Values in Markov Decision Processes, (Co)Algebraically.
CMCS
(2018)