E-LIB Suche - Ergebnisse für: Angelo Montanari

1

Succinctness of Cosafety Fragments of LTL via Combinatorial..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Geatti, Luca ; Mansutti, Alessio ; Montanari, Angelo - p. 95-115 , 2024

Link: https://doi.org/10.1007/..

2

SAT Meets Tableaux for Linear Temporal Logic Satisfiability:

Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo.
Journal of Automated Reasoning. 68 (2024) 2 - p. , 2024

Link: https://doi.org/10.1007/..

3

Towards interpretability in fingerprint based indoor positi..:

Brunello, Andrea ; Montanari, Angelo ; Saccomanno, Nicola
Expert Systems with Applications. 231 (2023) - p. 120679 , 2023

Link: https://doi.org/10.1016/..

4

The Logic of Prefixes and Suffixes is Elementary under Homo..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Monica, Dario Della ; Montanari, Angelo ; Puppis, Gabriele. - p. 1-12 , 2023

Link: https://doi.org/10.1109/..

5

Fairness, assumptions, and guarantees for extended bounded ..:

Cimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola..
Software and Systems Modeling. 23 (2023) 2 - p. 427-453 , 2023

Link: https://doi.org/10.1007/..

6

Towards Learning an Optimal Metric for Fingerprint-based Lo..:

, In: Proceedings of the 29th Annual International Conference on Mobile Computing and Networking,

Saccomanno, Nicola ; Brunello, Andrea ; Montanari, Angelo - p. 1-3 , 2023

Link: https://dl.acm.org/doi/1..

7

Monitors That Learn From Failures: Pairing STL and Genetic ..:

Brunello, Andrea ; Monica, Dario Della ; Montanari, Angelo..
IEEE Access. 11 (2023) - p. 57349-57364 , 2023

Link: https://doi.org/10.1109/..

8

AIxIA 2022 – Advances in Artificial Intelligence: XXIst Int..

Lecture Notes in Artificial Intelligence, 13796

Dovier, Agostino ; Montanari, Angelo ; Orlandini, Andrea - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

9

Pspace-completeness of the temporal logic of sub-intervals ..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
Information and Computation. 294 (2023) - p. 105083 , 2023

Link: https://doi.org/10.1016/..

10

Interval Temporal Logic for Visibly Pushdown Systems:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano
ACM Transactions on Computational Logic. 24 (2023) 3 - p. 1-32 , 2023

Link: https://doi.org/10.1145/..

11

GR(1) is equivalent to R(1):

Cimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola..
Information Processing Letters. 179 (2023) - p. 106319 , 2023

Link: https://doi.org/10.1016/..

12

An interval temporal logic characterization of extended ω-r..:

Della Monica, Dario ; Montanari, Angelo ; Sala, Pietro
Theoretical Computer Science. 962 (2023) - p. 113929 , 2023

Link: https://doi.org/10.1016/..

13

Decidability and complexity of action-based temporal planni..:

Gigante, Nicola ; Micheli, Andrea ; Montanari, Angelo.
Artificial Intelligence. 307 (2022) - p. 103686 , 2022

Link: https://doi.org/10.1016/..

14

A genetic programming approach to WiFi fingerprint meta-dis..:

Brunello, Andrea ; Montanari, Angelo ; Saccomanno, Nicola
Pervasive and Mobile Computing. 85 (2022) - p. 101681 , 2022

Link: https://doi.org/10.1016/..

15

A Framework for Indoor Positioning Including Building Topol..:

Brunello, Andrea ; Montanari, Angelo ; Saccomanno, Nicola
IEEE Access. 10 (2022) - p. 114959-114974 , 2022

Link: https://doi.org/10.1109/..