News
Lab for AI Verification (LAIV) is a team of researchers working on a range of inter-disciplinary problems that combine AI and Formal Verification. For example, we seek answers to the following ...
Probability and Statistics Group research at the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results