共 50 条
- [21] Time-abstracting bisimulation for probabilistic timed automata TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 177 - +
- [22] Time series analysis algorithm with probabilistic finite automata MANUFACTURE ENGINEERING AND ENVIRONMENT ENGINEERING, VOLS 1 AND 2, 2014, 84 : 263 - 269
- [25] Probabilistic Automata and Probabilistic Logic MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 813 - 824
- [27] ON REAL-TIME AND LINEAR TIME CELLULAR AUTOMATA RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (04): : 307 - 325
- [29] A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data GRAMMATICAL INFERENCE: THEORETICAL RESULTS AND APPLICATIONS, ICGI 2010, 2010, 6339 : 203 - 216
- [30] A Probabilistic and Energy-Efficient Scheduling Approach for Online Application in Real-Time Systems PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 42 - 47