Zobrazeno 1 - 5
of 5
pro vyhledávání: '"SU Kai-Le"'
Publikováno v:
Journal of Software. 17:2485
This paper presents an approach to the verification of temporal epistemic logic in synchronous multi-Agent systems via bounded model checking (BMC). By incorporating epistemic modalities into temporal logic CTL*, a temporal epistemic logic ECKLn is i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65ac5302029e60278e1336dc20766fb6
https://doi.org/10.1360/jos172485
https://doi.org/10.1360/jos172485
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2014 IEEE International Conference on Robotics & Automation (ICRA); 2014, p4262-4267, 6p
Publikováno v:
Wuhan University Journal of Natural Sciences; Jan2005, Vol. 10 Issue 1, p329-332, 4p
Autor:
Diana Peterfreund
Una novela inspirada en Persuasión, de Jane Austen Han pasado generaciones desde que el experimento genético que tenía que transformar la tierra fracasó y diezmó a la humanidad, generando una sociedad donde la tecnología es ilegal y el poder es
