Browsing by Author Kong, Pingfan
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) | |
---|---|---|---|
2016 | Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling | Kong, Pingfan |