Implementing an LTL-to-Büchi translator in Erlang: a protest experience report.

Published in: Erlang Workshop (2009)

Keyphrases

model checking
user experience
temporal logic
neural network
databases
real world
artificial intelligence
reinforcement learning
video sequences
expert systems
efficient implementation
measurement data
linear time temporal logic