10 citations · 10 across the 2 of their papers we have counts for
3 papers
cs.RO2019
Online Path Generation and Navigation for Swarms of UAVs
Adnan Ashraf, Amin Majd, Elena Troubitsyna
With the growing popularity of Unmanned Aerial Vehicles (UAVs) for consumer applications, the number of accidents involving UAVs is also increasing rapidly. Therefore, motion safet…
cs.SE2012★ 10 cited
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-a…
cs.SE2012
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements
Elena Troubitsyna
Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches…