Zobrazeno 1 - 10
of 123
pro vyhledávání: '"Dino Mandrioli"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or first-order logic. Past attempts to extend this result beyond the realm
Externí odkaz:
https://doaj.org/article/5d1170c08f27440eab8ca7866d52c795
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and N
Externí odkaz:
https://doaj.org/article/73adab1879684000bbab3d8f533fd2cc
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 161-175 (2018)
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and appr
Externí odkaz:
https://doaj.org/article/5679436e4e8d4f659d073b7adb0c9530
In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, are characterized, besides the original grammar family, in terms of an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af2206595874c6f2e76c16406e779c1c
http://hdl.handle.net/11311/1199465
http://hdl.handle.net/11311/1199465
Publikováno v:
Computer Aided Verification ISBN: 9783030816872
CAV (2)
CAV (2)
The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and N
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::251694277db76ddab23ec176cc9a6e77
http://hdl.handle.net/11311/1183241
http://hdl.handle.net/11311/1183241
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and appr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6417dc93b7942e5f5ad43f3ed18feac7
http://hdl.handle.net/11311/1150413
http://hdl.handle.net/11311/1150413
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2020 ISBN: 9783030642754
ICTAC
ICTAC
A classic result in formal language theory is the equivalence among aperiodic finite automata, star-free regular expressions, and first-order logic on words. Extending these results to structured subclasses of context-free languages, such as tree lan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::814ff6d46c15ef14f748579a625b53ee
http://hdl.handle.net/11311/1156727
http://hdl.handle.net/11311/1156727
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 161-175 (2018)
GandALF
GandALF
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and appr
Human-robot collaboration (HRC) imposes potential frequent physical interaction and/or close proximity between the two agents. Most likely, and specifically for unstructured environments, changing layouts and dynamic task allocation, the prediction o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e0242be3e87a4370d89b26f697b223e
Publikováno v:
IEEE transactions on robotics (2019). doi:10.1109/TRO.2019.2937471
info:cnr-pdr/source/autori:Vicentini, Federico; Askarpour, Mehrnoosh; Rossi, Matteo G.; Mandrioli, Dino/titolo:Safety Assessment of Collaborative Robotics Through Automated Formal Verification/doi:10.1109%2FTRO.2019.2937471/rivista:IEEE transactions on robotics/anno:2019/pagina_da:/pagina_a:/intervallo_pagine:/volume
info:cnr-pdr/source/autori:Vicentini, Federico; Askarpour, Mehrnoosh; Rossi, Matteo G.; Mandrioli, Dino/titolo:Safety Assessment of Collaborative Robotics Through Automated Formal Verification/doi:10.1109%2FTRO.2019.2937471/rivista:IEEE transactions on robotics/anno:2019/pagina_da:/pagina_a:/intervallo_pagine:/volume
A crucial aspect of physical human–robot collaboration (HRC) is to maintain a safe common workspace for human operator. However, close proximity between human–robot and unpredictability of human behavior raises serious challenges in terms of safe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::997e198ae302707d3f55607c79f32d22
https://publications.cnr.it/doc/417574
https://publications.cnr.it/doc/417574