Adapting Behaviors via Reactive Synthesis.

Gal Amram Suguman Bansal Dror Fried Lucas Martinelli Tabajara Moshe Y. Vardi Gera Weiss

Published in: CAV (1) (2021)

Keyphrases

program synthesis
human behavior
behavior analysis
behavior recognition
website
reactive systems
real time
knowledge base
decision trees
probabilistic model
intelligent agents
finite state machines
social behavior
analog circuits
malicious behavior