Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
M
Martin Kristjansen
Affiliation pending
4
H-index
10
Paper Count
38
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF
0
2026-01-01
0
PRE
AI
Axelsen, Magnus Kallestrup; Kristjansen, Martin; Larsen, Kim Guldstrand; Lauritsen, Thomas Grubbe Sandborg
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
K
Kim G. Larsen
H-index: 70 · Papers: 853
M
Magnus Kallestrup Axelsen
H-index: 0 · Papers: 2
T
Thomas Grubbe Sandborg Lauritsen
H-index: 0 · Papers: 1
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}