5 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
Alessandro Gianola, Marco Montali, Sarah Winkler
Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable…