Optimizing Control Strategy Using Statistical Model Checking

Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis

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

27 Citations (Scopus)
Original languageEnglish
Title of host publicationNASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Volume7871
PublisherSpringer Publishing Company
Publication date2013
Pages352-367
ISBN (Print)978-3-642-38087-7
ISBN (Electronic)978-3-642-38088-4
DOIs
Publication statusPublished - 2013
Event5th NASA Formal Methods Symposium - Moffett Field, California, United States
Duration: 14 May 201316 May 2013

Conference

Conference5th NASA Formal Methods Symposium
Country/TerritoryUnited States
CityMoffett Field, California
Period14/05/201316/05/2013
SeriesLecture Notes in Computer Science
Volume7871
ISSN0302-9743

Cite this