Výsledky vyhledávání - "Model checking Interval Temporal Logic Computational Complexity"

Model checking well-behaved fragments of HS: The (almost) final picture

Autoři: MOLINARI, ALBERTO MONTANARI, Angelo Peron, Adriano a další

Přispěvatelé: MOLINARI, ALBERTO MONTANARI, Angelo Peron, Adriano a další

Témata: Temporal logic Interval temporal logic, Knowledge representation, System verifications, Model checker, Model checking algorithm, Model checking problem, Point-based, Model Checking, Interval Temporal Logics, Computational Complexity, Model checking Interval Temporal Logic Computational Complexity

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/11588/669741
http://hdl.handle.net/11368/3029556
https://hdl.handle.net/11562/971068
https://hdl.handle.net/11390/1089181
https://hdl.handle.net/11368/3029556
https://hdl.handle.net/11588/669741