Automated Polyhedral Abstraction Proving.

Nicolas Amat Silvano Dal-Zilio Didier Le Botlan

Published in: Petri Nets (2023)

Keyphrases

semi automated
fully automated
bayesian networks
computer aided
convex hull
automated classification
decision theoretic planning