Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion.

Miguel Romero Camilo Rocha

Published in: CoRR (2018)

Keyphrases

reachability analysis
distributed systems
spatial data
spatial information
knowledge base
natural language
expert systems
management system
intelligent systems
complex systems
markov decision processes
spatial and temporal