141 followers
Slicing Agent Programs for More Efficient Verification (2019) : Michael Winikoff and Louise Dennis and Michael Fisher DOI: https://t.co/1YqVCkx77d #BDI #MAS #bounded_model_checking #formal_verification #gwendolen #model_checking # #my_bibtex