Facing Uncertainty in AI: From Formal Verification To Synthesis.

Joost-Pieter Katoen

Browse the full ICTAC paper archive.