Vol-2960⫷ Vol-2961 ⫸Vol-2962
urn:nbn:de:0074-2961-0


Vol-2961/paper_2⫷Vol-2961/paper_3⫸Vol-2961/paper_4
Kai SauerwaldPhilip Heltweg

On Using Model Checking for the Certification of Iterated Belief Changes