E-LIB Suche - Ergebnisse für: Giuseppe De Giacomo

1

Regular decision processes:

Brafman, Ronen I. ; De Giacomo, Giuseppe
Artificial Intelligence. 331 (2024) - p. 104113 , 2024

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

2

Composition of Stochastic Services for LTL$$_f$$ Goal Speci..:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,

De Giacomo, Giuseppe ; Favorito, Marco ; Silo, Luciana - p. 298-316 , 2024

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

3

Tuning DNN Model Compression to Resource and Data Availabil..:

Malandrino, Francesco ; Giacomo, Giuseppe di ; Karamzade, Armin..
IEEE/ACM Transactions on Networking. 32 (2024) 2 - p. 1600-1615 , 2024

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

4

Dependable Distributed Training of Compressed Machine Learn..:

, In: 2024 IEEE 25th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM),

Malandrino, Francesco ; Giacomo, Giuseppe Di ; Levorato, Marco. - p. 147-156 , 2024

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

5

Efficient Distributed DNNs in the Mobile-Edge-Cloud Continu..:

Malandrino, Francesco ; Chiasserini, Carla Fabiana ; di Giacomo, Giuseppe
IEEE/ACM Transactions on Networking. 31 (2023) 4 - p. 1702-1716 , 2023

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

6

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023

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

7

Behavioral QLTL:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

De Giacomo, Giuseppe ; Perelli, Giuseppe - p. 133-149 , 2023

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

8

Temporally extended goal recognition in fully observable no..:

Pereira, Ramon Fraga ; Fuggitti, Francesco ; Meneguzzi, Felipe.
Applied Intelligence. 54 (2023) 1 - p. 470-489 , 2023

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

9

Stochastic Best-Effort Strategies for Borel Goals:

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

Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha. - p. 1-13 , 2023

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

10

$${\textsc {ltl}}_f$$ Synthesis Under Environment Specifica..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Aminof, Benjamin ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 263-279 , 2023

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

11

A tool for declarative Trace Alignment via automated planni..:

De Giacomo, Giuseppe ; Fuggitti, Francesco ; Maggi, Fabrizio Maria..
Software Impacts. 16 (2023) - p. 100505 , 2023

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

12

Digital twin composition in smart manufacturing via Markov ..:

De Giacomo, Giuseppe ; Favorito, Marco ; Leotta, Francesco..
Computers in Industry. 149 (2023) - p. 103916 , 2023

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

13

AIDA: A Tool for Resiliency in Smart Manufacturing:

, In: Lecture Notes in Business Information Processing; Intelligent Information Systems,

De Giacomo, Giuseppe ; Favorito, Marco ; Leotta, Francesco... - p. 112-120 , 2023

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

14

AI-augmented Business Process Management Systems: A Researc..:

Dumas, Marlon ; Fournier, Fabiana ; Limonad, Lior...
ACM Transactions on Management Information Systems. 14 (2023) 1 - p. 1-19 , 2023

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

15

Towards ILP-Based $$\text {LTL}_\text {f}$$ Passive Learnin:

, In: Inductive Logic Programming; Lecture Notes in Computer Science,

Ielo, Antonio ; Law, Mark ; Fionda, Valeria... - p. 30-45 , 2023

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