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
-
Semantically Reflected Programs
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.
-
Teaching Synchronous Dataflow Modelling with Learn-Heptagon
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.