Nicolas Amat

From MaRDI portal
Person:832010

Available identifiers

zbMath Open amat.nicolasMaRDI QIDQ832010

List of research outcomes





PublicationDate of PublicationType
On the complexity of proving polyhedral reductions2024-10-22Paper
Property directed reachability for generalized Petri nets2024-01-23Paper
Automated polyhedral abstraction proving2023-11-16Paper
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking2022-10-31Paper
Accelerating the computation of dead and concurrent places using reductions2022-03-24Paper
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets2022-03-21Paper

Research outcomes over time

This page was built for person: Nicolas Amat

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