Harmonizing Parameterized Verification and Invariant Synthesis for Safety Envelopes in Black‐Box Autonomy

Fuente: Wiley Open Access

Saved in:

Bibliographic Details
Main Authors:	Yu Lu, Zhoubing Xiong, Helin Huang, Bing He, Jinjun Kuang
Format:	Artículo Open Access
Published:	Wiley 2025
Subjects:	Concurrency and Computation: Practice and Experience
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet