Author:
Alrajeh Dalal,Craven Robert
Publisher
Springer International Publishing
Reference27 articles.
1. Alrajeh, D., et al.: Elaborating requirements using model checking and inductive learning. IEEE Trans. Software Eng. 39(3), 361–383 (2013)
2. Borges, R., et al.: Learning and representing temporal knowledge in recurrent networks. IEEE TNN 22(12) (2011)
3. Clark, K.: Negation as failure. In: Readings in Nonmonotonic Reasoning, pp. 311–325 (1978)
4. Lecture Notes in Computer Science;E. Clarke,2004
5. Corapi, D., et al.: Inductive logic programming as abductive search. In: Proc. ICLP 2010, pp. 54–63 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting;Proceedings of the Genetic and Evolutionary Computation Conference;2023-07-12
2. An automated system repair framework with signal temporal logic;Acta Informatica;2021-06-17
3. Risk-driven revision of requirements models;Proceedings of the 38th International Conference on Software Engineering;2016-05-14