Matthew Arnold, David Piorkowski, et al.
IBM J. Res. Dev
Matthew Arnold, David Piorkowski, et al.
IBM J. Res. Dev
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Hong Guan, Saif Masood, et al.
SoCC 2023
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022