Search

Your search keyword '"Felli, Paolo"' showing total 13 results

Search Constraints

Start Over You searched for: Author "Felli, Paolo" Remove constraint Author: "Felli, Paolo" Publication Type eBooks Remove constraint Publication Type: eBooks
13 results on '"Felli, Paolo"'

Search Results

1. Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications

2. On the Flexibility of Declarative Process Specifications

3. delphic: Practical DEL Planning via Possibilities

4. Conformance Checking with Uncertainty via SMT

5. CTL Model Checking for Data-Aware Dynamic Systems with Arithmetic

6. Soundness of Data-Aware Processes with Arithmetic Conditions

7. CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

8. A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems

9. A Holistic Approach for Soundness Verification of Decision-Aware Process Models

10. Towards Team Formation via Automated Planning

11. Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others

12. Goal-Based Composition of Stateful Services for Smart Homes

13. Foundations of Relational Artifacts Verification

Catalog

Books, media, physical & digital resources