共 50 条
- [21] Risk-Averse Model Predictive Control for Priced Timed Automata 2023 AMERICAN CONTROL CONFERENCE, ACC, 2023, : 4332 - 4338
- [22] Concavely-Priced Probabilistic Timed Automata CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 415 - +
- [24] Partial order reduction for model checking of timed automata CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 431 - 446
- [25] Symbolic model checking of finite precision timed automata THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 272 - 287
- [27] Counterexample generation for probabilistic timed automata model checking Jisuanji Yanjiu yu Fazhan, 2008, 10 (1638-1645):
- [28] Bounded Model Checking of an MITL Fragment for Timed Automata 2013 13TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2013), 2013, : 216 - 225
- [30] Model checking probabilistic timed automata in the presence of uncertainties Journal of Computational Information Systems, 2010, 6 (07): : 2231 - 2243