SMT Safety Verification of Ontology-Based Processes.

Diego Calvanese Alessandro Gianola Andrea Mazzullo Marco Montali

Published in: AAAI (2023)

Keyphrases

stochastic processes
databases
database
machine learning
website
context aware
model checking
cryptographic protocols
safety analysis