FedSearch
nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.social

Slicing Agent Programs for More Efficient Verification
(2019) : Michael Winikoff and Louise Dennis and Michael Fisher
DOI: doi.org/10.1007/978-3-030-2569
#

#bdi #mas #bounded_model_checking #formal_verification #gwendolen #model_checking #my_bibtex

Last updated 2 years ago
Original post