Login / Signup
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
Timos Antonopoulos
Nikos Gorogiannis
Christoph Haase
Max I. Kanovich
Joël Ouaknine
Published in:
FoSSaCS (2014)
Keyphrases
</>
decision problems
special case
influence diagrams
utility function
decision processes
pspace complete
bandit problems
computational complexity
multiple criteria
deductive reasoning
multicriteria decision
np hard
optimal solution
optimal strategy
modal logic
optimal policy
recursive programs
decision making