Tags

fixed point theory
Apr 1, 2024
generating functions
Apr 1, 2024
inductive invariants
Apr 1, 2024
probabilistic conditioning
Apr 1, 2024
probabilistic programs
Apr 1, 2024
quantitative reasoning
Apr 1, 2024
semantics
Apr 1, 2024
CEGIS
Mar 18, 2024
interpolation
Mar 18, 2024
probabilistic model checking
Mar 18, 2024