Periodic Reporting for period 2 - AutoProbe (Automated Probabilistic Black-Box Verification)

One of the longstanding challenges in Computer Science has been the development of methods and tools providing rigorous guarantees about systems’ behavior, performance, and security. There have been many successes in overcoming this challenge, notably the invention and...