Fabio Patrizi
11 papers · 2013–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze π Academic Marathon Β· Half
π
Renaissance Researcher
(5)
π
Conference Pioneer
π
Century Club Β· Bronze
Top co-authors
Research topics
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
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
AAAI 2023
Monitoring Arithmetic Temporal Properties on Finite Traces
AAAI 2023
ASP-Based Declarative Process Mining
AAAI 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
IJCAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
IJCAI 2022
Plan Synthesis for Knowledge and Action Bases
IJCAI 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
IJCAI 2015
A Classification of First-Order Progressable Action Theories in Situation Calculus
IJCAI 2013
Bounded Epistemic Situation Calculus Theories
IJCAI 2013
Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners
IJCAI 2013