30 results on '"DE GIACOMO, Giuseppe"'
Search Results
2. Abstraction of Nondeterministic Situation Calculus Action Theories
3. Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
4. Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
5. Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
6. LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
7. Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
8. Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
9. Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
10. Act for Your Duties but Maintain Your Rights
11. Synthesizing Best-effort Strategies under Multiple Environment Specifications
12. The Nondeterministic Situation Calculus
13. Timed Trace Alignment with Metric Temporal Logic over Finite Traces
14. Synthesis with Mandatory Stop Actions
15. Intensional and Extensional Views in DL-Lite Ontologies
16. HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
17. Efficient PAC Reinforcement Learning in Regular Decision Processes
18. Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up
19. Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
20. Nondeterministic Strategies and their Refinement in Strategy Logic
21. Temporal Logic Monitoring Rewards via Transducers
22. Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
23. Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
24. Synthesizing strategies under expected and exceptional environment behaviors
25. High-level Programming via Generalized Planning and LTL Synthesis
26. Regular Decision Processes: A Model for Non-Markovian Domains
27. Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains
28. Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
29. Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
30. Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.