Login / Signup
Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction.
Vladimir V. Rybakov
Published in:
Int. J. Adv. Intell. Paradigms (2010)
Keyphrases
</>
chance discovery
linear temporal logic
multi agent systems
multi agent
temporal logic
risk management
data visualization
cooperative
multiple agents
multiagent systems
model checking
data mining
decision making
bounded model checking
solar cell
programming language
search space
high level