Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-0670
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration ; day:29 ; month:5 ; year:2020 ; pages:1-47
Journal of automated reasoning ; (29.5.2020), 1-47

Creator
Cattaruzza, Dario
Abate, Alessandro
Schrammel, Peter
Kroening, Daniel
Contributor
SpringerLink (Online service)

DOI
10.1007/s10817-020-09562-z
URN
urn:nbn:de:101:1-2020080213290233660024
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:53 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Cattaruzza, Dario
  • Abate, Alessandro
  • Schrammel, Peter
  • Kroening, Daniel
  • SpringerLink (Online service)

Other Objects (12)

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

LTI

Schriftgut

LTI

Integral input-to-state stability of unbounded bilinear control systems

Integral input-to-state stability of unbounded bilinear control systems

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Verification with Memory Models as Input

Verification with Memory Models as Input

Unbounded operators

Unbounded operators

CSSR LTI SBW

Schriftgut

CSSR LTI SBW

iLTiS

Graffiti | Streetart

iLTiS

LTI/SBW CSSR

Schriftgut

LTI/SBW CSSR

VVB LTI Berlin

Schriftgut

VVB LTI Berlin

MuLTiE

Graffiti | Streetart

MuLTiE

Handakte LMI/LTI

Schriftgut

Handakte LMI/LTI

Related objects