Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Aleksandar Babac"'
Publikováno v:
CSTST
This paper provides a framework for specification and verification of intelligent agent-based systems, with the emphasis on their cognitive and reactive features. We use an epistemic transition system to specify the agents and an epistemic synchronou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b807909c0923dc0104e7ec0f88b19830
https://www.bib.irb.hr/370134
https://www.bib.irb.hr/370134
