Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Absorbing patterns in BST-like expression-trees
May 16, 2022
Pablo Rotondo
(LIGM)
TBA
Post navigation
Counter games with boundedness winning conditions
On the strategy synthesis problem in MDPs: probabilistic CTL and rolling windows.
