Development of Probabilistic Timed CEGAR

doi 10.1109/icsai.2014.7009336
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Probabilistic CEGAR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Timed Annotations

2009English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

The Development of the ProMAS: A Probabilistic Medication Adherence Scale

Patient Preference and Adherence
PharmacologyHealth PolicyMedicineToxicologySocial SciencesPharmaceutics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy