13 results on '"Felli, Paolo"'
Search Results
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.