Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. BPC: Behavioral Programming in C + + , http://www.wisdom.weizmann.ac.il/~bprogram/bpc/
2. Supplementral material, http://www.wisdom.weizmann.ac.il/~bprogram/bpc/module_based_abstraction/
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-Time Temporal Logic. Journal of the ACM 49(5), 672–713 (2002)
4. Lecture Notes in Computer Science;N. Amla,2007
5. Arcuri, A., Yao, X.: A Novel Co-evolutionary Approach to Automatic Software Bug Fixing. In: Proc. 10th IEEE Congress on Evolutionary Computation (CEC), pp. 162–168 (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancing Deep Reinforcement Learning with Scenario-Based Modeling;SN Computer Science;2023-01-11
2. Augmenting Deep Neural Networks with Scenario-Based Guard Rules;Communications in Computer and Information Science;2021
3. Towards Repairing Scenario-Based Models with Rich Events;Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development;2021
4. Executing Scenario-Based Specification with Dynamic Generation of Rich Events;Communications in Computer and Information Science;2020
5. Guarded Deep Learning using Scenario-based Modeling;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020