Synchronizing words for weighted and timed automata

Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

12 Citations (Scopus)
Original languageEnglish
Title of host publicationLeibniz International Proceedings in Informatics, LIPIcs
Number of pages12
Volume29
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication date11 Dec 2014
Pages121-132
ISBN (Print)9783939897774
DOIs
Publication statusPublished - 11 Dec 2014
Event34th International Conference on Foundation of Software Technology and Theoretical Computer Science - New Delhi, India
Duration: 15 Dec 201417 Dec 2014
Conference number: 34

Conference

Conference34th International Conference on Foundation of Software Technology and Theoretical Computer Science
Number34
CountryIndia
CityNew Delhi
Period15/12/201417/12/2014

Keywords

  • Synchronizing words
  • Timed automata
  • Weighted automata

Fingerprint Dive into the research topics of 'Synchronizing words for weighted and timed automata'. Together they form a unique fingerprint.

Cite this