共 50 条
- [3] Patterns in property specifications for finite-state verification Proceedings - International Conference on Software Engineering, 1999, : 411 - 420
- [5] On the controller synthesis for finite-state Markov decision processes FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 541 - 552
- [9] Smaller representations for finite-state transducers and finite-state automata COMBINATORIAL PATTERN MATCHING, 1995, 937 : 352 - 365
- [10] APPROXIMATIONS OF STATE TRANSITION-PROBABILITIES IN FINITE BIRTH-DEATH PROCESSES IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (04): : 715 - 721