Sciweavers

135
Voted
PAAMS
2015
Springer
10 years 11 days ago
In Whose Best Interest? An Agent-Based Model of High Frequency Trading
abstract High Frequency Trading (HFT) broadly refers to trading strategies involving fast submission, cancelation and revision of orders in a Continuous Double Auction (CDA). Often...
Paolo Pellizzari
PAAMS
2015
Springer
10 years 11 days ago
Contextualize Agent Interactions by Combining Communication and Physical Dimensions in the Environment
Abstract. The environment, as a space shared between agents, is a key component of multiagent systems (MAS). Depending on systems, this space may integrate physical, communication ...
Stéphane Galland, Flavien Balbo, Nicolas Ga...
PAAMS
2015
Springer
10 years 11 days ago
Selected Methods of Model Checking Using SAT and SMT-Solvers
The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multiagent systems...
Agnieszka M. Zbrzezny
Intelligent Agents
Top of PageReset Settings