3 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Andreas Schmidt Jensen
As agent systems grow larger and more complex, there is an increasing need to formally verify them. Furthermore, it is often suggested that complex systems can be regulated using o…