Decidability of Verification of Safety Properties of Spatial Families of Linear 
Hybrid Automata

Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica

Local TagsRelease HistoryDetailsSummary

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Damm, W., Horbach, M., & Sofronie-Stokkermans, V.(2015). Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (ATR111). SFB/TR 14 AVACS.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-0805-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-4542-C

Genre: Report

Files

show Files

Locators

show

Creators

show

hide

Creators:
Damm, Werner¹, Author
Horbach, Matthias², Author
Sofronie-Stokkermans, Viorica², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2015

Publication Status: Published online

Pages: 52 p.

Publishing info: SFB/TR 14 AVACS

Table of Contents: -

Rev. Type: -

Identifiers: Report Nr.: ATR111
BibTex Citekey: atr111

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: AVACS Technical Report

Abbreviation : ATR

Other : Reports of SFT/TR 14 AVACS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 111 Sequence Number: - Start / End Page: - Identifier: ISSN: 1860-9821