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