C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.
Lucas Silver
Eddy Westbrook
Matthew Yacavone
Ryan Scott
Published in:
ECOOP (2023)
Keyphrases
</>
main contribution
high level
conceptual framework
framework enables
web services
reinforcement learning
human computer interaction
theoretical framework
model checking