Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra.
Amelia BadicaCostin BadicaPublished in: KES-AMSTA (2007)
Keyphrases
- finite state
- model checking
- process algebra
- formal specification
- formal methods
- markov chain
- temporal logic
- concurrent systems
- markov decision processes
- transition systems
- reactive systems
- machine translation
- tree automata
- asynchronous circuits
- concurrent programs
- formal languages
- natural language
- formal language
- partially observable markov decision processes
- optimal policy
- expert systems
- multi agent