Sciweavers

Share
PAAMS
2015
Springer
4 years 2 months 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
4 years 2 months 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
4 years 2 months 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
books