Remote Agent for Conformance Testing of Timed-Automata.
Ariel StulmanSimon BlochH. G. MendelbaumPublished in: Parallel and Distributed Computing and Networks (2005)
Keyphrases
- timed automata
- model checking
- multi agent
- multi agent systems
- multiagent systems
- multiple agents
- real time
- theorem prover
- theorem proving
- reachability analysis
- autonomous agents
- intelligent agents
- decision making
- dynamic environments
- cooperating agents
- agent architecture
- agent model
- real time systems
- agent technology
- data sets
- agent oriented
- agent systems
- learning algorithm
- decision theoretic
- software agents
- software testing
- action selection
- artificial intelligence
- natural language
- social welfare
- artificial agents
- wide area network
- distributed systems
- neural network
- remote server
- first order logic