List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the complexity of proving polyhedral reductions Fundamenta Informaticae | 2024-10-22 | Paper |
| Property directed reachability for generalized Petri nets | 2024-01-23 | Paper |
| Automated polyhedral abstraction proving | 2023-11-16 | Paper |
| A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking Fundamenta Informaticae | 2022-10-31 | Paper |
| Accelerating the computation of dead and concurrent places using reductions (available as arXiv preprint) | 2022-03-24 | Paper |
| On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (available as arXiv preprint) | 2022-03-21 | Paper |
Research outcomes over time
This page was built for person: Nicolas Amat
