Conference
Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback
| Τίτλος: | Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback |
|---|---|
| Συγγραφείς: | Jiang, Jiamei, Zhang, Jiajing, Mo, Feifei, Li, Linjing, Zeng, Daniel |
| Πηγή: | 2026 IEEE International Conference on Intelligence and Security Informatics (ISI) Intelligence and Security Informatics (ISI), 2026 IEEE International Conference on. :106-111 Aug, 2026 |
| Relation: | 2026 IEEE International Conference on Intelligence and Security Informatics (ISI) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798319501301 9798319501318 |
|---|---|
| ISSN: | 28376617 28376609 |
| DOI: | 10.1109/ISI69914.2026.11685833 |