Imagen de Portada

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Jingda, Wang, Ying
Formato:	Preprint
Publicado:	2023
Materias:	Systems and Control Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

From Prompt to Protocol: Fast Charging Batteries with Large Language Models
por: Lei, Ge, et al.
Publicado: (2026)

SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models
por: Zhang, Jiawei, et al.
Publicado: (2025)

Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
por: Yang, Xu, et al.
Publicado: (2025)

MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
por: Abbineni, Pravallika, et al.
Publicado: (2025)

GenCtrl -- A Formal Controllability Toolkit for Generative Models
por: Cheng, Emily, et al.
Publicado: (2026)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective
por: Wang, Yixuan, et al.
Publicado: (2023)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
por: Taheri, Ali, et al.
Publicado: (2025)

Aligning Large Language Models with Representation Editing: A Control Perspective
por: Kong, Lingkai, et al.
Publicado: (2024)

FaultExplainer: Leveraging Large Language Models for Interpretable Fault Detection and Diagnosis
por: Khan, Abdullah, et al.
Publicado: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
por: Skovbekk, John, et al.
Publicado: (2021)

Large Language Model Guided Incentive Aware Reward Design for Cooperative Multi-Agent Reinforcement Learning
por: Urgun, Dogan, et al.
Publicado: (2026)

Interacting Large Language Model Agents. Interpretable Models and Social Learning
por: Jain, Adit, et al.
Publicado: (2024)

LLM-Assisted Light: Leveraging Large Language Model Capabilities for Human-Mimetic Traffic Signal Control in Complex Urban Environments
por: Wang, Maonan, et al.
Publicado: (2024)

Generative AI and Process Systems Engineering: The Next Frontier
por: Decardi-Nelson, Benjamin, et al.
Publicado: (2024)

AutoRL Hyperparameter Landscapes
por: Mohan, Aditya, et al.
Publicado: (2023)

Towards Machine Learning-based Model Predictive Control for HVAC Control in Multi-Context Buildings at Scale via Ensemble Learning
por: Deng, Yang, et al.
Publicado: (2025)

Large Language Models (LLMs) for Electronic Design Automation (EDA)
por: Xu, Kangwei, et al.
Publicado: (2025)

Integrating Physics-Based and Data-Driven Approaches for Probabilistic Building Energy Modeling
por: Von Krannichfeldt, Leandro, et al.
Publicado: (2025)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
por: Mandal, Udayan, et al.
Publicado: (2024)

SEAL: SEmantic-Augmented Imitation Learning via Language Model
por: Gu, Chengyang, et al.
Publicado: (2024)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
por: da Silva, Luis Miguel Vieira, et al.
Publicado: (2025)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
por: Chen, Shaoru, et al.
Publicado: (2024)

Weakly-supervised Latent Models for Task-specific Visual-Language Control
por: Lee, Xian Yeow, et al.
Publicado: (2025)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
por: Coppola, Rudi, et al.
Publicado: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
por: Parameshwaran, Aditya, et al.
Publicado: (2025)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
por: Kishida, Masako
Publicado: (2025)

Probabilistic Constrained Reinforcement Learning with Formal Interpretability
por: Wang, Yanran, et al.
Publicado: (2023)

Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
por: Pandit, Kartik, et al.
Publicado: (2025)

A Formal Model for Artificial Intelligence Applications in Automation Systems
por: Schieseck, Marvin, et al.
Publicado: (2024)

Large Language Model as An Operator: An Experience-Driven Solution for Distribution Network Voltage Control
por: Yang, Xu, et al.
Publicado: (2025)

RoboMonkey: Scaling Test-Time Sampling and Verification for Vision-Language-Action Models
por: Kwok, Jacky, et al.
Publicado: (2025)

Deep Analysis of Time Series Data for Smart Grid Startup Strategies: A Transformer-LSTM-PSO Model Approach
por: Zhang, Zecheng
Publicado: (2024)

Epidemic Control on a Large-Scale-Agent-Based Epidemiology Model using Deep Deterministic Policy Gradient
por: Deshkar, Gaurav, et al.
Publicado: (2023)

Virtual Traffic Police: Large Language Model-Augmented Traffic Signal Control for Unforeseen Incidents
por: Wei, Shiqi, et al.
Publicado: (2026)

A Survey on Large Language Model-empowered Autonomous Driving
por: Zhu, Yuxuan, et al.
Publicado: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
por: Wang, Chengxiao, et al.
Publicado: (2026)

Multi-Year Maintenance Planning for Large-Scale Infrastructure Systems: A Novel Network Deep Q-Learning Approach
por: Fard, Amir, et al.
Publicado: (2025)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
por: Skifstad, Julian, et al.
Publicado: (2026)

Large Language Models for Explainable Decisions in Dynamic Digital Twins
por: Zhang, Nan, et al.
Publicado: (2024)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
por: Lin, Albert, et al.
Publicado: (2023)