✦ LIBER ✦

An extension of the inverse method to probabilistic timed automata

✍ Scribed by Étienne André,Laurent Fribourg,Jeremy Sproston

Book ID: 126355584
Publisher: Springer
Year: 2012
Tongue: English
Weight: 971 KB
Volume: 42
Category: Article
ISSN: 0925-9856
DOI: 10.1007/s10703-012-0169-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the inverse sensitivity

An extension of the inverse sensitivity method to systems with repeated eigenvalues

✍ L. Pešek 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 460 KB

The inverse sensitivity method for parametric correction in cases when mechanical structures are described by analytical conservative mechanical models with repeated eigenvalues is investigated. A new procedure is proposed for extending the inverse sensitivity method to these systems. This is based

Extension of the inverse method to axiom

Extension of the inverse method to axiomatic theories with equality

✍ A. Yu. Plyushkevichene 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 488 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

Extension of the inverse method to the p

Extension of the inverse method to the predicate calculus with equality

✍ S. Yu. Maslov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 811 KB

An Extension of the Generalized Inverse

An Extension of the Generalized Inverse Algorithm to Multiclass Pattern Classification

✍ Wee, W.G.; Fu, K.S. 📂 Article 📅 1968 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 722 KB

Optimizing an inverse method to deduce t

Optimizing an inverse method to deduce time-varying emissions of trace gases

✍ Haas-Laursen, Danielle E.; Hartley, Dana E.; Prinn, Ronald G. 📂 Article 📅 1996 🏛 American Geophysical Union 🌐 English ⚖ 884 KB