Joost-Pieter Katoen
4 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(11)
Conferences
UAI (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
partially observable markov decision process
(1)
constraint satisfaction
(1)
parameter tuning
(1)
bayesian network
(1)
optimization algorithm
(1)
model checking
(1)
strategy synthesis
(1)
finite-state controller
(1)
conditional probability table
(1)
stochastic multi-agent system
(1)
inductive synthesis
(1)
oracle-guided synthesis
(1)
belief-based approach
(1)
multi-objective specification
(1)
probabilistic temporal logic
(1)
parametric verification
(1)
natural strategies
(1)