Skip to content
VuFind
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Cover Image

Saved in:
Bibliographic Details
Main Authors: Abate, Alessandro, Akbarzadeh, Omid, Blom, Henk A. P., Haesaert, Sofie, Hassani, Sina, Lavaei, Abolfazl, Mathiesen, Frederik Baymler, Misra, Rahul, Nejati, Amy, Niehage, Mathis, Ørum, Fie, Remke, Anne, Samari, Behrad, Wang, Ruohan, Wisniewski, Rafal, Wooding, Ben, Zaker, Mahdieh
Format: Preprint
Published: 2025
Subjects:
Logic in Computer Science
Systems and Control
Online Access:https://arxiv.org/abs/2506.17602
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Holdings
  • Description
  • Table of Contents
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2506.17602

Similar Items

  • From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
    by: Samari, Behrad, et al.
    Published: (2024)
  • Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
    by: Zaker, Mahdieh, et al.
    Published: (2024)
  • From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
    by: Akbarzadeh, Omid, et al.
    Published: (2025)
  • Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
    by: Samari, Behrad, et al.
    Published: (2024)
  • Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
    by: Samari, Behrad, et al.
    Published: (2024)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs