Dividing Reachable State Space into Multiple Layers (IMAGE)

Japan Advanced Institute of Science and Technology

Dividing Reachable State Space into Multiple Layers

Caption

Schematic illustration showing how the reachable state space from an initial state is divided into multiple layers, creating smaller sub-state spaces that can be checked independently.

Credit

Prof. Kazuhiro Ogata from JAIST. Image Source Link: https://doi.org/10.1145/3836770

Usage Restrictions

Cannot be reused without permission.

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.