diff options
| author | Adam Stück <adam@adast.xyz> | 2023-03-25 15:19:32 +0100 |
|---|---|---|
| committer | Adam Stück <adam@adast.xyz> | 2023-03-25 16:50:27 +0100 |
| commit | ce742445317258ab667e9c5fc1b1091cc0e64b98 (patch) | |
| tree | be0125750fe8ce69396fee25a793f132060a025f /dst/resume-da.html | |
| parent | 77d8160ff328e0183ca37b1494b2f679506c0b21 (diff) | |
resume: add publications
Diffstat (limited to 'dst/resume-da.html')
| -rw-r--r-- | dst/resume-da.html | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dst/resume-da.html b/dst/resume-da.html index fcd7e4b..ba8a627 100644 --- a/dst/resume-da.html +++ b/dst/resume-da.html @@ -20,6 +20,8 @@ <a href="/rss.xml">RSS</a> </nav> </header><main> +<script type="text/javascript" language="javascript" src="js/showhide.js"></script> + <h4 id="english-dansk-">[ <a href="/resume">English</a> / Dansk ]</h4> <h1 id="adam-stck">Adam Stück</h1> @@ -108,6 +110,29 @@ <li>Bachelor i Datalogi - 3-årig uddannelse</li> </ul> +<h2 id="publikationer">Publikationer</h2> + +<p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br> +by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, <a href="http://www.cs.aau.dk/~srba">J. Srba</a>, <strong>A.M. Stück</strong>, S. Sørensen<br> +In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN’23), LNCS, pages 1–8, Springer-Verlag, 2023.<br> +<em>To appear.</em><br> +<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a>   <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> +  <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p> + +<div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration +has a significant impact on reachability analysis in explicit model checking +and existing tools use several variants of search heuristics and random walks +in order to overcome the state-space explosion problem. We contribute with a +novel approach based on a random search strategy, where actions are assigned +dynamically (on-the-fly) updated potencies, changing according to the +variations of a heuristic distance to the goal configuration as encountered +during the state-space search. We implement our general idea into a Petri net +model checker TAPAAL and document its efficiency on a large benchmark of Petri +net models from the annual Model Checking Contest. The experiments show that +our heuristic search outperforms the standard search approaches in multiple +metrics and that it constitutes a worthy addition to the portfolio of classical +search strategies. </div> + <h2 id="konkurrencer">Konkurrencer</h2> <ul> |