Open AccessSemantic Importance Sampling for Statistical Model Checking
Author(s) -
Jeffery P. Hansen,
Lutz Wrage,
Sagar Chaki,
Dionisio de Niz,
Mark Klein
Publication year - 2014
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.21236/ada613893
Subject(s) - computer science , sampling (signal processing) , natural language processing , artificial intelligence , filter (signal processing) , computer vision
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom