PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Anna Ingólfsdóttir

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Rule Formats for Nominal Process Calculi

    2019 · Opin vísindi (Opin vísindi)

    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule …

  2. Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)

    2021 · arXiv (Cornell University)

    Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective in the deployment of safety-critical CPSs. Central for a successful application of such techniques is …