Pierluigi Nuzzo
4 papers · 2021–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Cross-Pollinator
(4)
πΊοΈ
Taxonomy Completionist
(10)
Conferences
AAAI (1)
AISTATS (1)
IJCAI (1)
UAI (1)
Top co-authors
Keywords
sample efficiency
(1)
policy optimization
(1)
constrained optimization
(1)
optimal control
(1)
partially observable markov decision process
(1)
linear programming
(1)
constrained markov decision process
(1)
optimistic planning
(1)
individual fairness
(1)
linear temporal logic
(1)
fairness verification
(1)
neural network repair
(1)
counterexample-guided search
(1)
satisfiability modulo convex
(1)
sensitivity neuron
(1)
probably approximately correct
(1)
sample-efficient algorithm
(1)
neural network
(1)
model repair
(1)
finite horizon
(1)
Papers
A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation
AISTATS 2025
Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming
IJCAI 2025
Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints
UAI 2022
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints
AAAI 2021