Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Alrahman, Yehia Abd
18  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Correct-by-Design Teamwork Plans for Multi-Agent Systems:

Alrahman, Yehia Abd ; Piterman, Nir
http://arxiv.org/abs/2301.01257.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

R-CHECK: A Model Checker for Verifying Reconfigurable MAS:

Alrahman, Yehia Abd ; Azzopardi, Shaun ; Piterman, Nir
http://arxiv.org/abs/2201.06312.  , 2022
Link: http://arxiv.org/abs/220..
 
?
3

Modelling and Verification of Reconfigurable Multi-Agent Sy..:

Alrahman, Yehia Abd ; Piterman, Nir
http://arxiv.org/abs/2104.10998.  , 2021
Link: http://arxiv.org/abs/210..
 
?
4

Interleaving & Reconfigurable Interaction: Separating Choic..:

Alrahman, Yehia Abd ; Martel, Mauricio ; Piterman, Nir
http://arxiv.org/abs/2107.14668.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Synthesis of Run-To-Completion Controllers for Discrete Eve..:

Alrahman, Yehia Abd ; Braberman, Victor ; D'Ippolito, Nicolás..
http://arxiv.org/abs/2009.05554.  , 2020
Link: http://arxiv.org/abs/200..
 
?
6

Reconfigurable Interaction for MAS Modelling:

Alrahman, Yehia Abd ; Perelli, Giuseppe ; Piterman, Nir
http://arxiv.org/abs/1906.10793.  , 2019
Link: http://arxiv.org/abs/190..
 
?
7

Operation Control Protocols in Power Distribution Grids:

Alrahman, Yehia Abd ; Vieira, Hugo Torres
http://arxiv.org/abs/1811.01942.  , 2018
Link: http://arxiv.org/abs/181..
 
?
8

Programming the Interactions of Collective Adaptive Systems..:

Alrahman, Yehia Abd ; De Nicola, Rocco ; Loreti, Michele
http://arxiv.org/abs/1711.06092.  , 2017
Link: http://arxiv.org/abs/171..
 
?
9

A Behavioural Theory for Interactions in Collective-Adaptiv..:

Alrahman, Yehia Abd ; De Nicola, Rocco ; Loreti, Michele
http://arxiv.org/abs/1711.09762.  , 2017
Link: http://arxiv.org/abs/171..
 
?
10

On the Power of Attribute-based Communication:

Alrahman, Yehia Abd ; De Nicola, Rocco ; Loreti, Michele
http://arxiv.org/abs/1602.05635.  , 2016
Link: http://arxiv.org/abs/160..
 
?
11

Modelling and verification of reconfigurable multi-agent sy..:

Abd Alrahman, Yehia ; Piterman, Nir
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8550679/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
12

Reconfigurable Interaction for MAS Modelling:

Yehia Abd Alrahman ; Giuseppe Perelli ; Nir Piterman
info:eu-repo/semantics/altIdentifier/isbn/978-145037518-4.  , 2020
Link: http://hdl.handle.net/11..
 
?
13

On the Power of Attribute-Based Communication:

Abd Alrahman, Yehia ; de Nicola, Rocco ; Loreti, Michele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_1.  , 2016
Link: https://hal.inria.fr/hal..
 
?
14

On the Power of Attribute-Based Communication:

Abd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, Michele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_1.  , 2016
Link: https://hal.inria.fr/hal..
 
?
15

A Behavioural Theory for Interactions in Collective-Adaptiv..:

Abd Alrahman, Yehia Moustafa ; De Nicola, Rocco ; Loreti, Michele
http://eprints.imtlucca.it/3945/1/1711.09762.pdf.  , 2017
Link: http://eprints.imtlucca...
 
1-15