Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Takaya Shimizu

Development of Probabilistic Timed CEGAR

2014English

Related publications

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