Heuristic Model Checking Using a Monte-Carlo Tree Search Algorithm 2015 (English)In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM Digital Library, 2015, p. 1359-1366Conference paper, Published paper (Refereed)

Resource type

Text

Place, publisher, year, edition, pages

ACM Digital Library, 2015. p. 1359-1366

Keywords [en]

model checking, nested monte-carlo search, search-based software engineering

National Category

Software Engineering

Identifiers

URN: urn:nbn:se:bth-11203DOI: 10.1145/2739480.2754767ISI: 000358795700170ISBN: 978-1-4503-3472-3 (print)OAI: oai:DiVA.org:bth-11203DiVA, id: diva2:882924

Conference

The Genetic and Evolutionary Computation Conference (GECCO), Madrid

Available from: 2015-12-16 Created: 2015-12-14 Last updated: 2023-06-30Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full texthttp://doi.acm.org/10.1145/2739480.2754767

Authority records

Poulding, SimonFeldt, Robert

Search in DiVA

By author/editor

Poulding, SimonFeldt, Robert

By organisation

Department of Software Engineering

On the subject

Software Engineering

Search outside of DiVA

GoogleGoogle ScholarTotal: 92 hits