David Parker

From MaRDI portal
Person:6535605

Available identifiers

zbMath Open parker.david-j.1MaRDI QIDQ6535605

List of research outcomes





PublicationDate of PublicationType
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games2024-10-08Paper
Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk)2024-08-06Paper
Equilibria-based probabilistic model checking for concurrent stochastic games2024-03-14Paper
Quantitative verification of numerical stability for Kalman filters2024-03-14Paper
Correlated equilibria and fairness in concurrent stochastic games2024-02-01Paper

Research outcomes over time

This page was built for person: David Parker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6535605&oldid=40467099"
Powered by MediaWiki