Semantically Configurable Analysis of Scenario-Based Specifications.

Barak Cohen Shahar Maoz

Published in: FASE (2014)

Keyphrases

wide range
quantitative analysis
decision making
case study
image sequences
semantic analysis
artificial intelligence
multiscale
artificial neural networks
mobile robot
automatic analysis
delay insensitive