FM'23 Keynote Talk | Nils Jansen - Intelligent and Dependable Decision-Making Under Uncertainty
Why the open web links it
Presents research on combining formal methods, machine learning, and control theory for safe and dependable AI decision-making under uncertainty.
Linked by 2 independent sites, 2 of them widely read in the 2026-10 crawl of the open web, including ru.nl, uni-luebeck.de.