Resource-Aware Session Types for Digital Contracts.

Ankush Das Stephanie Balzer Jan Hoffmann Frank Pfenning Ishani Santurkar

Published in: CSF (2021)

Keyphrases

databases
neural network
machine learning
learning algorithm
information systems
decision making
expert systems
mobile robot
digital video