aboutsummaryrefslogtreecommitdiff
path: root/dst/resume-da.html
diff options
context:
space:
mode:
Diffstat (limited to 'dst/resume-da.html')
-rw-r--r--dst/resume-da.html25
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> &#47; 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&#8217;23), LNCS, pages 1&#8211;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> &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a>
+&#160; <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>