Joost-Pieter Katoen
4 papers · 2022–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)