Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ric Klaren
MoDeST — A Modelling and Description Language for Stochastic Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Stochastic Language Generation for Spoken Dialogue Systems
Generating Path Conditions for Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling and Verification of Timed Interaction and Migration
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stochastic Search in Data-Based Modelling of Dynamic Systems
A Task Description Language for Robot Control
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Language Description and Use
Language Teaching
Linguistics
Language
