13 results on '"Felli, Paolo"'
Search Results
2. Soundness of Data-Aware Processes with Arithmetic Conditions
3. CTL$$^*$$ Model Checking for Data-Aware Dynamic Systems with Arithmetic
4. Conformance Checking with Uncertainty via SMT
5. A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems
6. CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
7. A Holistic Approach for Soundness Verification of Decision-Aware Process Models
8. Towards Team Formation via Automated Planning
9. Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others
10. Goal-Based Composition of Stateful Services for Smart Homes
11. Foundations of Relational Artifacts Verification
12. Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others.
13. Goal-Based Composition of Stateful Services for Smart Homes.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.