Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Milan Češka

Logic in Computer Science Advancements in Quantitative Verification Tools

Examining new developments in tools for verifying complex systems.

2025-08-08T20:55:30+00:00 ― 6 min read

Logic in Computer Science Synthesis of Winning Policies in Markov Decision Processes

This article discusses the development of winning policies across families of MDPs.

2025-07-11T17:44:18+00:00 ― 5 min read