C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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