Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
Kwiatkowska, Gethin Norman, and David Parker
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
The authors define semantic lifting and semantic reflection for the small language SMOL, formalize its operational semantics and type system, and demonstrate it on a geological modelling case study with an open-source implementation.
Introduces an L*-based active learning algorithm for deterministic MDPs that uses trace sampling to infer complete models including states and outperforms passive methods on accuracy with equal data.
Describes Learn-Heptagon, a web application for writing, simulating, and verifying Lustre programs, together with the lesson plan used to teach it to engineering students.
citing papers explorer
-
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.