SCICO (@scico_journal) 's Twitter Profile
SCICO

@scico_journal

Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance.

ID: 1353278896859471872

linkhttps://www.journals.elsevier.com/science-of-computer-programming calendar_today24-01-2021 09:50:21

323 Tweet

254 Followers

46 Following

SCICO (@scico_journal) 's Twitter Profile Photo
SCICO
@scico_journal

8 months ago

Archibald et al. enhance BDI agent modeling with uncertain beliefs, probabilistic actions, and non-deterministic choices. The tool CAN-verify enables error checking, simulation, and strategy synthesis via probabilistic model checkers. doi.org/10.1016/j.scic…