Login / Signup
Abdo Shabah
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 4
Top Topics
Alternating Time Temporal Logic
Ant Colonies
Highly Reliable
Mesh Network
Top Venues
ICRA
REFSQ
ICC
WMNC
</>
Publications
</>
Rim Zrelli
,
Henrique Amaral Misson
,
Maroua Ben Attia
,
Felipe Gohring de Magalhaes
,
Abdo Shabah
,
Gabriela Nicolescu
Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents.
REFSQ
(2024)
Chuan Pham
,
Kim Khoa Nguyen
,
Mohamed Cheriet
,
Abdo Shabah
Joint Horizontal and Vertical Backup for Highly Reliable Telemedicine Services.
ICC
(2023)
Tai Manh Ho
,
Kim-Khoa Nguyen
,
Abdo Shabah
Self-Organizing Internet of Multi-RAT Robotic Things Mesh Network.
WMNC
(2022)
Jacopo Panerati
,
Luca Gianoli
,
Carlo Pinciroli
,
Abdo Shabah
,
Gabriela Nicolescu
,
Giovanni Beltrame
From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints.
ICRA
(2018)