Fröhlich N and Meier A. Submodel enumeration for CTL is hard. Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence. (10517-10524).

https://doi.org/10.1609/aaai.v38i9.28921

Taleb R, Hallé S and Khoury R. (2023). Uncertainty in runtime verification. Computer Science Review. 50:C. Online publication date: 1-Nov-2023.

https://doi.org/10.1016/j.cosrev.2023.100594

Osama M, Zaki-Ismail A, Abdelrazek M, Grundy J and Ibrahim A. (2022). A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements. SN Computer Science. 4:1. Online publication date: 13-Dec-2022.

https://doi.org/10.1007/s42979-022-01449-7

Andersson J, Grassi V, Mirandola R and Perez-Palacin D. (2021). A conceptual framework for resilience: fundamental definitions, strategies and metrics. Computing. 103:4. (559-588). Online publication date: 1-Apr-2021.

https://doi.org/10.1007/s00607-020-00874-x

Al-Hussaini S, Gregory J, Guan Y and Gupta S. Generating Alerts to Assist With Task Assignments in Human-Supervised Multi-Robot Teams Operating in Challenging Environments. 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). (11245-11252).

https://doi.org/10.1109/IROS45743.2020.9341588

Stahlbauer A, Kreis M and Fraser G. Testing scratch programs automatically. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (165-175).

https://doi.org/10.1145/3338906.3338910

Mitsch S, Platzer A, Retschitzegger W and Schwinger W. (2015). Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. ACM Computing Surveys. 48:1. (1-40). Online publication date: 29-Sep-2015.

https://doi.org/10.1145/2764901

Lv J, Ma S, Li X and Song J. (2015). A high order collaboration and real time formal model for automatic testing of safety critical systems. Frontiers of Computer Science: Selected Publications from Chinese Universities. 9:4. (495-510). Online publication date: 1-Aug-2015.

https://doi.org/10.1007/s11704-015-2254-y

Zhou Y, Huang Y, Wei O and Huang Z. (2015). Verifying specifications with associated attributes in graph transformation systems. Frontiers of Computer Science: Selected Publications from Chinese Universities. 9:3. (364-374). Online publication date: 1-Jun-2015.

https://doi.org/10.1007/s11704-015-4290-4

Konur S and Gheorghe M. (2015). A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 12:2. (360-371). Online publication date: 1-Mar-2015.

https://doi.org/10.1109/TCBB.2014.2362531