Efficient SAT-based generation of hazard-activated TSOF tests.

Jan Burchard Dominik Erb Sudhakar M. Reddy Adit D. Singh Bernd Becker

Published in: VTS (2017)

Keyphrases

artificial intelligence
lightweight
cost effective
real time
databases
information retrieval
lower bound
active learning
control system
domain independent
computationally expensive
ai planning