Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Joost-Pieter Katoen

Logic in Computer Science Simplifying Verification with Bisimulation Techniques

Learn how bisimulation can ease complex system verification.

2025-07-15T17:51:18+00:00 ― 4 min read

Computer Science and Game Theory Strategies for Decision-Making in Markov Processes

Exploring how to combine sure and threshold goals in decision-making.

2025-07-03T03:48:42+00:00 ― 5 min read