Assume-guarantee contract algebras are bounded Sugihara monoids.

José Luis Castiglioni Rodolfo Cristian Ertola Biraben

Published in: CoRR (2024)

Keyphrases

machine learning
supply chain
real time
neural network
relational databases
temporal reasoning
spatial reasoning
independent and identically distributed
clifford algebra