Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.

Tom Yaacov Achiya Elyasaf Gera Weiss

Published in: CoRR (2024)

Keyphrases

human behavior
information systems
automatic programming
behavioral model
neural network
search algorithm
multi agent systems
digital libraries
evolutionary algorithm
real time systems