Formal agent-based modelling and simulation of crowd behaviour in emergency evacuation plans

I Stamatopoulou, I Sakellariou… - 2012 IEEE 24th …, 2012 - ieeexplore.ieee.org
Crowd behaviour deviates from normal when an emergency evacuation is needed. Thus,
simulation of evacuation situations has been identified as an important tool for assessing …

A formal approach to model emotional agents behaviour in disaster management situations

P Kefalas, I Sakellariou, D Basakos… - … and Applications: 8th …, 2014 - Springer
Abstract Emotions in Agent and Multi-Agent Systems change their behaviour to a
more'natural'way of performing tasks thus increasing believability. This has various …

[PDF][PDF] Evacuation Simulation through Formal Emotional Agent based Modelling.

I Sakellariou, P Kefalas, I Stamatopoulou - ICAART (2), 2014 - scitepress.org
Evacuation Simulation is recognised as an important tool for assessing design choices for
urban areas. Although a number of approaches have been introduced, it is widely …

[PDF][PDF] MAS coursework design in NetLogo

I Sakellariou, P Kefalas… - Proceedings of the …, 2009 - ccl.sesp.northwestern.edu
In the context of an Intelligent Agents course, we have chosen NetLogo as the means to
satisfy the students' demand for hands-on practice, to help them understand at a deeper …

Formal modelling and simulation of a multi-agent nano-robotic drug delivery system

M Ntika, P Kefalas, I Stamatopoulou - Scalable Computing: Practice and …, 2014 - scpe.org
Targeted drug delivery with the use of nanorobots, a yet mostly theoretical but very
promising future concept, is anticipated to become a significant ally in cancer treatment. The …

[PDF][PDF] From Formal Modelling to Agent Simulation Execution and Testing.

I Sakellariou, D Dranidis, M Ntika, P Kefalas - ICAART (1), 2015 - academia.edu
This work presents an approach to agent-based simulation development using formal
modelling, ie stream X-Machines, that combines the power of executable specifications and …

Formal modelling of agents acting under artificial emotions

P Kefalas, I Stamatopoulou, D Basakos - Proceedings of the Fifth Balkan …, 2012 - dl.acm.org
Artificial Agents infused with emotions have attracted considerable attention in recent years.
Many domain areas require agents to be able to demonstrate an emotional reaction to …

Fundamental results for learning deterministic extended finite state machines from queries

F Ipate, M Gheorghe, R Lefticaru - Theoretical Computer Science, 2021 - Elsevier
Regular language inference, initiated by Angluin, has many developments, including
applications in software engineering and testing. However, the capability of finite automata …

Mobile Membranes

B Aman, G Ciobanu - IEEE Access, 2020 - ieeexplore.ieee.org
Mobile membranes represent a model of computation inspired from the biological movement
provided by endocytosis and exocytosis in the living cells. This paper presents a survey of …

[PDF][PDF] From Kernel P Systems to X-Machines and FLAME.

IM Niculescu, M Gheorghe, F Ipate, A Stefanescu - J. Autom. Lang. Comb., 2014 - ifsoft.ro
Kernel P systems have been introduced with the aim of unifying different variants of P
systems. They provide a coherent framework for specifying and solving a broad spectrum of …