Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Learning how to monitor: Pairing monitoring and learning for online system verification

Autor: Brunello, A., Monica, D. D., Montanari, A., ANDREA URGOLO

Publikováno v: Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::18d0d6c15f9fd29facea2d6383adccaf
http://hdl.handle.net/11390/1196780

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Autor: Monica, D. D., Goranko, V., Montanari, A., Guido Sciavicco

Publikováno v: Monica, D D, Goranko, V, Montanari, A & Sciavicco, G 2012, ' Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers ', Journal of Universal Computer Science, vol. 18, no. 20, pp. 2798-2831 .
JUCS-Journal of Universal Computer Science 18(20): 2798-2831
Scopus-Elsevier

Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen's relations, meets/ and met by). Re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3593a56a17771233873288d1061f2e6
http://hdl.handle.net/11392/2326746

A novel automata-theoretic approach to timeline-based planning

Autor: Monica, D. D., Nicola Gigante, Montanari, A., Sala, P.

Publikováno v: Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c9f48bb57da4becc1461b5c63eda031
http://www.scopus.com/inward/record.url?eid=2-s2.0-85080972891&partnerID=MN8TOARS

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.