共 50 条
- [31] Model checking probabilistic timed automata in the presence of uncertainties Journal of Computational Information Systems, 2010, 6 (07): : 2231 - 2243
- [36] PROBABILISTIC TRANSCRIPTION OF SUNG MELODY USING A PITCH DYNAMIC MODEL 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2017, : 301 - 305
- [37] An approach to Service Dynamic Reconfiguration Using Probabilistic Model Checking 2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 3 - 3