1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jan Vermaelen, Tom Holvoet
The safe operation of an autonomous system is a complex endeavor, one pivotal element being its decision-making. Decision-making logic can formally be analyzed using model checking…