• Formal Validation for Natural...

Treffer: Formal Validation for Natural Language Programming using Hierarchical Finite State Automata

Title:
Formal Validation for Natural Language Programming using Hierarchical Finite State Automata
Authors:
Yue Zhan, Michael S. Hsiao
Source:
Proceedings of the 13th International Conference on Agents and Artificial Intelligence. :506-515
Publisher Information:
SCITEPRESS - Science and Technology Publications, 2021.
Publication Year:
2021
Subject Terms:
0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Document Type:
Fachzeitschrift Article
DOI:
10.5220/0010388905060515
Access URL:
https://dblp.uni-trier.de/db/conf/icaart/icaart2021-1.html#ZhanH21
Rights:
CC BY NC ND
Accession Number:
edsair.doi.dedup.....b8e92a04229a8d2d25a308f76a1a0489
Database:
OpenAIRE