Login / Signup
rPrism - A Software for Reactive Weighted State Transition Models.
Daniel Figueiredo
Eugénio Rocha
Manuel António Martins
Madalena Chaves
Published in:
HSB (2019)
Keyphrases
</>
state transition
databases
state transitions
transition model
software systems
reactive systems
database
data mining
database systems
search algorithm
state space
linear programming
markov chain
agent architecture
finite state machines
state transition model