Timed and probabilistic systems, verification and reactive synthesis, formal methods and its intersection with algorithmic game theory