Model Checking and Artificial Intelligence

gan Edelkamp, Stefan, Lomuscio, Alessio
Cyhoeddwyd 2020

KI 2011: Advances in Artificial Intelligence

gan Bach, Joscha, Edelkamp, Stefan
Cyhoeddwyd 2020

Model Checking Software

gan Bosnacki, Dragan, Edelkamp, Stefan
Cyhoeddwyd 2020

Computer Games

gan Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian
Cyhoeddwyd 2020