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]
Abstract is missing.