Add to ORKGContains fulltext : 35535.pdf (publisher's version ) (Open Access)29 p
Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p
Abstract — We propose a novel stochastic extension of timed automata, i.e. Markovian Timed Automata....
AbstractWe propose a model of probabilistic timed automaton which substitutes for the non-determinis...
Contains fulltext : 35537.pdf (publisher's version ) (Open Access)29 p
Contains fulltext : 35536.pdf (publisher's version ) (Open Access
The following full text is a publisher's version. For additional information about this publica...
The following full text is a publisher's version. For additional information about this publica...
This paper presents an algorithm for cost-bounded probabilistic reachability in timed automata exten...
This paper presents an algorithm for cost-bounded probabilistic reachability in timed automata exten...
Abstract. Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locati...
Contains fulltext : 75424.pdf (author's version ) (Open Access)38 p
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Probabilistic timed automata(PTA) model real-time systems with non-deterministic and stochastic beha...
Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p
Abstract — We propose a novel stochastic extension of timed automata, i.e. Markovian Timed Automata....
AbstractWe propose a model of probabilistic timed automaton which substitutes for the non-determinis...
Contains fulltext : 35537.pdf (publisher's version ) (Open Access)29 p
Contains fulltext : 35536.pdf (publisher's version ) (Open Access
The following full text is a publisher's version. For additional information about this publica...
The following full text is a publisher's version. For additional information about this publica...
This paper presents an algorithm for cost-bounded probabilistic reachability in timed automata exten...
This paper presents an algorithm for cost-bounded probabilistic reachability in timed automata exten...
Abstract. Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locati...
Contains fulltext : 75424.pdf (author's version ) (Open Access)38 p
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are int...
Probabilistic timed automata(PTA) model real-time systems with non-deterministic and stochastic beha...
Contains fulltext : 36063.pdf (preprint version ) (Open Access)29 p p
Abstract — We propose a novel stochastic extension of timed automata, i.e. Markovian Timed Automata....
AbstractWe propose a model of probabilistic timed automaton which substitutes for the non-determinis...