JSON

probabilistic timed automata

Go to external page http://a.com/ontology#ProbabilisticTimedAutomata

This is just here as a test because I lose it

Term information

definition

STA with deterministic transition function.

exact synonym

probabilistic timed automaton

source

demo:ProbabilisticTimedAutomata

Term relations