Buchumschlag

LLM-based policy generation for intent-based management of applications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dzeparoska, Kristina, Lin, Jieyu, Tizghadam, Ali, Leon-Garcia, Alberto
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Distributed, Parallel, and Cluster Computing Artificial Intelligence Formal Languages and Automata Theory Human-Computer Interaction Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verifying Randomized Consensus Protocols with Common Coins
von: Gao, Song, et al.
Veröffentlicht: (2024)

State machines for large scale computer software and systems
von: Yodaiken, Victor
Veröffentlicht: (2016)

Population Protocols over Ordered Agents
von: Blondin, Michael, et al.
Veröffentlicht: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
von: Lossin, Benno, et al.
Veröffentlicht: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
von: Wang, Chao, et al.
Veröffentlicht: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
von: Kenwright, Logan, et al.
Veröffentlicht: (2024)

2-Coloring Cycles in One Round
von: Flin, Maxime, et al.
Veröffentlicht: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
von: Finkel, Alain, et al.
Veröffentlicht: (2017)

Classification of Local Optimization Problems in Directed Cycles
von: Boudier, Thomas, et al.
Veröffentlicht: (2026)

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Smart Casual Verification of the Confidential Consortium Framework
von: Howard, Heidi, et al.
Veröffentlicht: (2024)

On defining and modeling context-awareness
von: Rodis, Panteleimon
Veröffentlicht: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
von: Coget, Isabelle, et al.
Veröffentlicht: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2024)

Deciding Serializability in Network Systems
von: Amir, Guy, et al.
Veröffentlicht: (2026)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
von: Bollig, Benedikt, et al.
Veröffentlicht: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
von: Bocchi, Laura, et al.
Veröffentlicht: (2026)

Types for Grassroots Logic Programs
von: Shapiro, Ehud
Veröffentlicht: (2026)

Decidability Issues for Petri Nets -- a survey
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

Model Learning for Adjusting the Level of Automation in HCPS
von: Hajnorouzi, Mehrnoush, et al.
Veröffentlicht: (2025)

STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
von: Hurley, Isabelle, et al.
Veröffentlicht: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
von: Czerner, Philipp, et al.
Veröffentlicht: (2024)

Finite-State Automaton To/From Regular Expression Visualization
von: Morazán, Marco T., et al.
Veröffentlicht: (2024)

Large Language Models to the Rescue: Reducing the Complexity in Scientific Workflow Development Using ChatGPT
von: Sänger, Mario, et al.
Veröffentlicht: (2023)

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points
von: Scanzio, Stefano, et al.
Veröffentlicht: (2025)

Design Support for Multitape Turing Machines
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

Design and Implementation of a Java-Based Client-Server Application
von: Patil, Omkar, et al.
Veröffentlicht: (2024)

A Review on Industrial Augmented Reality Systems for the Industry 4.0 Shipyard
von: Fraga-Lamas, Paula, et al.
Veröffentlicht: (2024)

A Virtual Environment for Collaborative Inspection in Additive Manufacturing
von: Chheang, Vuthea, et al.
Veröffentlicht: (2024)

Audo-Sight: Enabling Ambient Interaction For Blind And Visually Impaired Individuals
von: Ainary, Bhanuja
Veröffentlicht: (2025)

Experiments of posture estimation on vehicles using wearable acceleration sensors
von: Yamato, Yoji
Veröffentlicht: (2017)

Practical Livelock Analysis in Parameterized Unidirectional Rings
von: Farahat, Aly
Veröffentlicht: (2026)

Crowd-SFT: Crowdsourcing for LLM Alignment
von: Sotiropoulos, Alex, et al.
Veröffentlicht: (2025)

STRIELAD -- A Scalable Toolkit for Real-time Interactive Exploration of Large Atmospheric Datasets
von: Schneegans, Simon, et al.
Veröffentlicht: (2025)

DaVE -- A Curated Database of Visualization Examples
von: Koenen, Jens, et al.
Veröffentlicht: (2024)

Audo-Sight: AI-driven Ambient Perception Across Edge-Cloud for Blind and Low Vision Users
von: Bradshaw, Jacob, et al.
Veröffentlicht: (2026)