History and Context for Defining Liveness: Winner 2018 Edsger W. Dijkstra Prize.

Fred B. Schneider

Published in: SIGACT News (2018)

Keyphrases

context sensitive
contextual information
genetic algorithm
neural network
real world
web pages
e learning
case study
reinforcement learning
search algorithm
trade off
context awareness