Active World Model for Testing Autonomous Systems Using CEFSM

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario. Active World Model for Testing Autonomous Systems Using CEFSM. In Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim, editors, Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. Volume 1514 of CEUR Workshop Proceedings, pages 1-10, CEUR-WS.org, 2015. [doi]

Authors

Anneliese Andrews

This author has not been identified. Look up 'Anneliese Andrews' in Google

Mahmoud Abdelgawad

This author has not been identified. Look up 'Mahmoud Abdelgawad' in Google

Ahmed Gario

This author has not been identified. Look up 'Ahmed Gario' in Google