Forward reachability computation for autonomous Max-Plus-Linear systems

D Adzkiya, B De Schutter, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

8 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
EditorsE Abraham, K Havelund
Place of PublicationDordrecht
PublisherSpringer
Pages248-262
Number of pages15
ISBN (Print)978-364254861-1
DOIs
Publication statusPublished - 2014
EventTACAS 2014, Grenoble, France - Dordrecht, The Netherlands
Duration: 5 Apr 201413 Apr 2014

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume8413
ISSN (Print)0302-9743

Conference

ConferenceTACAS 2014, Grenoble, France
Period5/04/1413/04/14

Bibliographical note

harvest
Held as part of the European joint conferences on theory and practice of software, ETAPS 2014

Keywords

  • Conf.proc. > 3 pag

Cite this