De Giacomo, Giuseppe
- Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
2022/04/29 by Ronca, Alessandro, Licks, Gabriel Paludo, De Giacomo, Giuseppe · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Bounded Situation Calculus Action Theories
2015/09/07 by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4
- LTLf Synthesis with Fairness and Stability Assumptions
2019/12/17 by Shufang Zhu, Giuseppe De Giacomo, Zhu, Shufang +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques
- Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
2019/09/26 by Bonet, Blai, De Giacomo, Giuseppe, Geffner, Hector +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
2024/11/14 by Benjamin Aminof, Giuseppe De Giacomo, Aminof, Benjamin +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques