Robuta

https://www.fit.vut.cz/research/result/c130975/.cs On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and... timed automata creation analysis reliability models https://www.ispor.org/vih-articles/Volume-18--Issue-7/Timed-Automata-Modeling-of-The-Personalized-Treatment-Decisions-In-Metastatic-Castration-Resistant-Prostate-Cancer Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant... timed automata personalized treatment modeling decisions metastatic https://researchr.org/publication/ShenAZZ0Z20 PAC Learning of Deterministic One-Clock Timed Automata - researchr publication timed automata pac learning deterministic one https://www.sciweavers.org/read/quantitative-model-checking-of-continuous-time-markov-chains-against-timed-automata-specifications-67085 Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications... model checking timed automata quantitative continuous markov https://iris.unito.it/handle/2318/1662508 Probabilistic Timed Automata with Clock-Dependent Probabilities probabilistic timed automata clock dependent probabilities https://pure.ecnu.edu.cn/en/publications/decidable-and-undecidable-problems-in-schedulability-analysis-usi/ Decidable and undecidable problems in schedulability analysis using timed automata - East China... timed automata east china problems analysis using https://research.abo.fi/fi/publications/integration-of-iuml-b-and-uppaal-timed-automata-for-development-o/ Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with... real time systems timed automata for development integration b https://arxiv.org/abs/1808.07744 [1808.07744] Learning Timed Automata via Genetic Programming Abstract page for arXiv paper 1808.07744: Learning Timed Automata via Genetic Programming timed automata learning via genetic programming https://etasr.com/index.php/ETASR/article/view/4611 Deadline Verification for Web Services Using Timed Automata | Engineering, Technology & Applied... for web timed automata engineering technology deadline verification https://research.utwente.nl/en/publications/quantitative-attack-tree-analysis-via-priced-timed-automata/ Quantitative Attack Tree Analysis via Priced Timed Automata - University of Twente Research... university of twente attack tree timed automata quantitative analysis https://sdl.ist.osaka-u.ac.jp/pman/pman3.cgi?D=15 Kusumoto Laboratory: T. Nagaoka, Model Abstraction of Timed Automata Based on Counterexample-Guided... timed automata based on laboratory nagaoka model