SBSE: An Environment for the Specification and Simulation of Finite State Systems.
Gerardo CanforaAniello CimitileGiuseppe A. Di LuccaPublished in: EUROSIM (1992)
Keyphrases
- finite state
- software engineering
- markov chain
- transition systems
- reactive systems
- markov decision processes
- model checking
- simulation environment
- complex systems
- search based software engineering
- dynamic environments
- distributed systems
- formal methods
- mobile robot
- optimal policy
- multi agent systems
- biological systems
- context free
- search space