Paolo Felli
11 papers · 2013–2023 · 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 Β· Gold πΊοΈ Taxonomy Completionist (11) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze π Academic Marathon Β· Half
π
Renaissance Researcher
(5)
π
Conference Pioneer
π
Century Club Β· Bronze
Top co-authors
Research topics
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