Keyword:Educational

Papers
Chatbot using Data Sciences for Educational Institutions Madhurja Nayan Deka, Kuntimaddi Ajay Kumar and A Christy EasyChair Preprint no. 3303
Benchmark: Reachability on a model with holes Thomas Heinz, Jens Oehlerking and Matthias Woehrle In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems