Vol-2508⫷ Vol-2509 ⫸Vol-2510
urn:nbn:de:0074-2509-0


Vol-2509/invited⫷Vol-2509/paper1⫸Vol-2509/paper2

Model Checking BDI Logics over Finite-state Worlds