Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.Comment: In Proceedings FVAV 2017, arXiv:1709.0212

Alterations in electrodermal activity and cardiac parasympathetic tone during hypnosis

Exploring autonomic nervous system (ANS) changes during hypnosis is critical for understanding the nature and extent of the hypnotic phenomenon and for identifying the mechanisms underlying the effects of hypnosis in different medical conditions. To assess ANS changes during hypnosis, electrodermal activity and pulse rate variability (PRV) were measured in 121 young adults. Participants either received hypnotic induction (hypnosis condition) or listened to music (control condition), and both groups were exposed to test suggestions. Blocks of silence and experimental sound stimuli were presented at baseline, after induction, and after de-induction. Skin conductance level (SCL) and high frequency (HF) power of PRV measured at each phase were compared between groups. Hypnosis decreased SCL compared to the control condition; however, there were no group differences in HF power. Furthermore, hypnotic suggestibility did not moderate ANS changes in the hypnosis group. These findings indicate that hypnosis reduces tonic sympathetic nervous system activity, which might explain why hypnosis is effective in the treatment of disorders with strong sympathetic nervous system involvement, such as rheumatoid arthritis, hot flashes, hypertension, and chronic pain. Further studies with different control conditions are required to examine the specificity of the sympathetic effects of hypnosis

Paradox Phenomena in Autonomously Self-Adapting Navigation

Abstract The online routing game model can be used to measure and prove the benefits of online real time data in road traffic navigation systems. A few properties of the routing strategies are already proved. In this paper we point out that there are some paradoxes like phenomena behind these proofs, similarly as in the Braess network.</jats:p