Paolo Felli
11 papers · 2013–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (10) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (11)
π
Academic Marathon
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π
Keyword Champion
(3)
π
Century Club
(11)
π
Conference Pioneer
Conferences
IJCAI (7)
AAAI (4)
Top co-authors
Keywords
controller synthesis
(3)
model checking
(3)
formal verification
(3)
process planning
(2)
finite trace
(2)
temporal logic
(2)
manufacturing system
(2)
process mining
(1)
runtime monitoring
(1)
multi-agent system
(1)
manufacturing orchestration
(1)
automata transducer
(1)
parameterized multi-agent system
(1)
smt-based model checking
(1)
infinite-state model checking
(1)
array-based system
(1)
satisfiability modulo theories
(1)
situation calculus
(1)
business process management
(1)
manufacturing automation
(1)
Papers
Monitoring Arithmetic Temporal Properties on Finite Traces
AAAI 2023
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
AAAI 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
IJCAI 2022
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
IJCAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems
AAAI 2021
Unbounded Orchestrations of Transducers for Manufacturing
AAAI 2019
Process Plan Controllers for Non-Deterministic Manufacturing Systems
IJCAI 2017
Parallel Behavior Composition for Manufacturing
IJCAI 2016
Planning for a Single Agent in a Multi-Agent Environment Using FOND
IJCAI 2016
Computing Social Behaviours Using Agent Models
IJCAI 2015
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
IJCAI 2013