Código QR (código de barras bidimensional)

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications

We present <b>S</b>tratified <b>M</b>etric <b>T</b>emporal <b>L</b>ogic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales. SMTL extends existing temporal logics by incorporati...

Fuld beskrivelse

Na minha lista:
Principais autores: Ali Baheri, Peng Wei
Format: Artigo
Sprog:Inglês
Udgivet: MDPI AG 2025-06-01
Serier:Logics
Fag:
stratified-metric temporal logic
multi-scale systems
formal verification
multi-agent coordination
temporal logic
Online adgang:https://www.mdpi.com/2813-0405/3/2/5
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker