Computing Distances between Reach Flowpipes

Majumdar, Rupak; Prabhu, Vinayak

doi:10.1145/2883817.2883850

Local TagsRelease HistoryDetailsSummary

Computing Distances between Reach Flowpipes

Majumdar, R., & Prabhu, V. (2016). Computing Distances between Reach Flowpipes. In HSCC'16 (pp. 267-276). New York, NY: ACM. doi:10.1145/2883817.2883850.

Item is Released

show all

Basic

hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-EABD-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-EABE-1

Genre: Conference Paper

Files

show Files

Locators

show

Creators

hide

Creators:
Majumdar, Rupak¹, Author
Prabhu, Vinayak¹, Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

hide

Language(s): eng - English

Dates: Published Online: 2016Date issued: 2016

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: MajumdarPrabhu2016
DOI: 10.1145/2883817.2883850

Degree: -

Event

hide

Title: 19th International Conference on Hybrid Systems: Computation and Control

Place of Event: Vienna, Austria

Start-/End Date: 2016-04-12 - 2016-04-14

Legal Case

show

Project information

show

Source 1

hide

Title: HSCC'16

Subtitle : Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Abbreviation : HSCC 2016

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 267 - 276 Identifier: ISBN: 978-1-4503-3955-1