✦ LIBER ✦

Linear parametric model checking of timed automata

✍ Scribed by Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits Vaandrager

Book ID: 114414931
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 405 KB
Volume: 52-53
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00037-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking timed automata for linear durat

Checking timed automata for linear duration properties

✍ Jianhua Zhao; Van Hung Dang 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 488 KB

Weighted Timed Automata: Model-Checking

Weighted Timed Automata: Model-Checking and Games

✍ Patricia Bouyer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 283 KB

On model-checking timed automata with st

On model-checking timed automata with stopwatch observers

✍ Thomas Brihaye; Véronique Bruyère; Jean-François Raskin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Checking Temporal Duration Properties of

Checking Temporal Duration Properties of timed automata

✍ Yong Li; Hung Van Dang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 748 KB

A Model of Finite Automata on Timed ω-Tr

A Model of Finite Automata on Timed ω-Trees

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Resampling for checking linear regressio

Resampling for checking linear regression models via non-parametric regression estimation

✍ J.M.Vilar Fernández; W.González Manteiga 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 359 KB

Let us consider the ÿxed regression model, Yt = m(xt) + t ; t = 1; : : : ; n; and assume that the random errors, { t }; follow an ARMA-type dependence structure. The purpose of this paper is to study the application of the bootstrap test to check that the unknown regression function, m, follows a ge