LiVe Lab: Research Areas

Safety of Neural Network

We abstract neural networks to improve verification speed.

Concurrent Stochastic Games

We develop techniques for the verification of concurrent stochastic games which extend turn-based stochastic games by allowing players to select actions simultaneously in each state, reflecting more realistic scenarios of interactive agents acting concurrently.

Attack-Defense Trees

We work on analysis and generation of Attack-Defence Trees.