Fabio Patrizi
11 papers · 2013–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Cross-Pollinator (13) π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (2) π Academic Marathon (11)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π
Century Club
(11)
π
Conference Pioneer
Conferences
IJCAI (7)
AAAI (4)
Top co-authors
Keywords
temporal logic
(3)
first-order logic
(2)
finite trace
(2)
formal verification
(1)
hierarchical reinforcement learning
(1)
markov decision process
(1)
optimal policy
(1)
answer set programming
(1)
reward shaping
(1)
model checking
(1)
strategy synthesis
(1)
linear temporal logic
(1)
linear arithmetic
(1)
intelligent agent
(1)
controller synthesis
(1)
process mining
(1)
runtime monitoring
(1)
domain separation
(1)
behavior synthesis
(1)
manufacturing system
(1)
Papers
Mimicking Behaviors in Separated Domains (Abstract Reprint)
AAAI 2024
Monitoring Arithmetic Temporal Properties on Finite Traces
AAAI 2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
AAAI 2023
ASP-Based Declarative Process Mining
AAAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
IJCAI 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
IJCAI 2022
Plan Synthesis for Knowledge and Action Bases
IJCAI 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
IJCAI 2015
Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners
IJCAI 2013
Bounded Epistemic Situation Calculus Theories
IJCAI 2013
A Classification of First-Order Progressable Action Theories in Situation Calculus
IJCAI 2013