Cover Image

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Jianyu, Zhang, Long, Wu, Yixuan, Ma, Linru, Yang, Feng
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

DroneWiS: Automated Simulation Testing of small Unmanned Aerial Systems in Realistic Windy Conditions
by: Zhang, Bohan, et al.
Published: (2024)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
by: Zhang, Yueke, et al.
Published: (2025)

CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges
by: Zhang, Kechi, et al.
Published: (2024)

Condor: A Code Discriminator Integrating General Semantics with Code Details
by: Liang, Qingyuan, et al.
Published: (2024)

When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety
by: Khatiri, Sajad, et al.
Published: (2025)

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
by: Zou, Yanzhen, et al.
Published: (2025)

PseudoBridge: Pseudo Code as the Bridge for Better Semantic and Logic Alignment in Code Retrieval
by: Li, Yixuan, et al.
Published: (2025)

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation
by: Wang, Chong, et al.
Published: (2024)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
by: Zhang, Kechi, et al.
Published: (2024)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)

Contextualized Code Pretraining for Code Generation
by: Liu, Chen, et al.
Published: (2026)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
by: Yu, Hao, et al.
Published: (2023)

AutoFSM: A Multi-agent Framework for FSM Code Generation with IR and SystemC-Based Testing
by: Luo, Qiuming, et al.
Published: (2025)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

A Study on Thinking Patterns of Large Reasoning Models in Code Generation
by: Halim, Kevin, et al.
Published: (2025)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Personality-Guided Code Generation Using Large Language Models
by: Guo, Yaoqi, et al.
Published: (2024)

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models
by: Wang, Zhijie, et al.
Published: (2024)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
by: Liu, Zihan, et al.
Published: (2024)

CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification
by: Tian, Yuchen, et al.
Published: (2024)

Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
by: Yang, Guang, et al.
Published: (2023)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
by: Ye, Jingwei, et al.
Published: (2026)

From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
by: Xue, Zhantong, et al.
Published: (2025)

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)

Can Language Models Go Beyond Coding? Assessing the Capability of Language Models to Build Real-World Systems
by: Zhao, Chenyu, et al.
Published: (2025)

Uncovering Weaknesses in Neural Code Generation
by: Lian, Xiaoli, et al.
Published: (2024)

V-GameGym: Visual Game Generation for Code Large Language Models
by: Zhang, Wei, et al.
Published: (2025)

A Hybrid Approach for EMF Code Generation:Code Templates Meet Large Language Models
by: He, Xiao, et al.
Published: (2025)

SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works
by: Daneshyan, Farbod, et al.
Published: (2025)

Enhancing and Reporting Robustness Boundary of Neural Code Models for Intelligent Code Understanding
by: Han, Tingxu, et al.
Published: (2026)

Self-Organizing Multi-Agent Systems for Continuous Software Development
by: Lyu, Wenhan, et al.
Published: (2026)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
by: Tian, Zhao, et al.
Published: (2023)

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
by: Jiang, Xue, et al.
Published: (2024)

AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
by: Liu, Jinshi, et al.
Published: (2026)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
by: Zhang, Yifan, et al.
Published: (2026)