Pierluigi Nuzzo

From MaRDI portal
Person:2988958

Available identifiers

zbMath Open nuzzo.pierluigiMaRDI QIDQ2988958

List of research outcomes





PublicationDate of PublicationType
Optimal control of logically constrained partially observable and multiagent Markov decision processes2025-01-21Paper
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties2024-11-26Paper
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach2018-06-27Paper
SMC2017-07-11Paper
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications2017-05-19Paper

Research outcomes over time

This page was built for person: Pierluigi Nuzzo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2988958&oldid=7708488"
Powered by MediaWiki