SMT-based consistency analysis of industrial systems requirements.

Predrag Filipovikj Guillermo Rodríguez-Navas Mattias Nyberg Cristina Seceleanu

Published in: SAC (2017)

Keyphrases

statistical analysis
decision making
cooperative
industrial systems
metadata
reinforcement learning