Computing Quantitative Characteristics of Finite-State Real-Time Systems.
Sérgio Vale Aguiar CamposEdmund M. ClarkeWilfredo R. MarreroMarius MineaHiromi HiraishiPublished in: RTSS (1994)
Keyphrases
- finite state
- real time systems
- markov chain
- markov decision processes
- real time
- model checking
- optimal policy
- real time database systems
- distributed systems
- timing constraints
- embedded systems
- architectural model
- action sets
- continuous time bayesian networks
- average cost
- tree automata
- linear programming
- temporal logic
- object oriented programming language
- low cost
- natural language
- case study
- artificial intelligence
- machine learning