%0 Conference Paper %1 conf/spin/HenriksenKNRSSS23 %A Henriksen, Emil G. %A Khorsid, Alan M. %A Nielsen, Esben %A Risager, Theodor %A Srba, Jirí %A Stück, Adam M. %A Sørensen, Andreas S. %B SPIN %D 2023 %E Caltais, Georgiana %E Schilling, Christian %I Springer %K dblp %P 180-187 %T Potency-Based Heuristic Search with Randomness for Explicit Model Checking. %U http://dblp.uni-trier.de/db/conf/spin/spin2023.html#HenriksenKNRSSS23 %V 13872 %@ 978-3-031-32157-3

@inproceedings{conf/spin/HenriksenKNRSSS23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Henriksen, Emil G. and Khorsid, Alan M. and Nielsen, Esben and Risager, Theodor and Srba, Jirí and Stück, Adam M. and Sørensen, Andreas S.}, biburl = {https://www.bibsonomy.org/bibtex/28cf75192f176e8de2fbb55d4120d0c87/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2023}, editor = {Caltais, Georgiana and Schilling, Christian}, ee = {https://doi.org/10.1007/978-3-031-32157-3_10}, interhash = {b0039a078a8f46987f6e37548db58293}, intrahash = {8cf75192f176e8de2fbb55d4120d0c87}, isbn = {978-3-031-32157-3}, keywords = {dblp}, pages = {180-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Potency-Based Heuristic Search with Randomness for Explicit Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2023.html#HenriksenKNRSSS23}, volume = 13872, year = 2023 }