Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Archibald, Blair
85  Ergebnisse:
Personensuche X
?
1

The Effect of Predictive Formal Modelling at Runtime on Per..:

, In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction,
Abioye, Ayodeji O. ; Hunt, William ; Gu, Yue... - p. 172-176 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A Bigraphs Paper of Sorts:

, In: Graph Transformation; Lecture Notes in Computer Science,
Archibald, Blair ; Sevegnani, Michele - p. 21-38 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Quantitative modelling and analysis of BDI agents:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Software and Systems Modeling.  23 (2023)  2 - p. 343-367 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Quantitative Verification and Strategy Synthesis for BDI Ag..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 241-259 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Successful Swarms: Operator Situational Awareness with Mode..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),
Gu, Yue ; Hunt, William ; Archibald, Blair... - p. 541-548 , 2023
Link: https://doi.org/10.1109/..
 
?
6

CAN-verify: A Verification Tool For BDI Agents:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Xu, Mengwei ; Rivoalen, Thibault ; Archibald, Blair. - p. 364-373 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Modelling and verifying BDI agents with bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Science of Computer Programming.  215 (2022)  - p. 102760 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Generic Exact Combinatorial Search at HPC Scale:

MacGregor, Ruairidh ; Archibald, Blair ; Trinder, Phil
International Journal of Parallel Programming.  51 (2022)  1 - p. 83-106 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Probabilistic Bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele
Formal Aspects of Computing.  34 (2022)  2 - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
10

A tale of two graph models: a case study in wireless sensor..:

Archibald, Blair ; Kulcsár, Géza ; Sevegnani, Michele
Formal Aspects of Computing.  33 (2021)  6 - p. 1249-1277 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Probabilistic BDI Agents: Actions, Plans, and Intentions:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 262-281 , 2021
Link: https://doi.org/10.1007/..
 
?
12

YewPar : skeletons for exact combinatorial search:

, In: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Archibald, Blair ; Maier, Patrick ; Stewart, Robert. - p. 292-307 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Conditional Bigraphs:

, In: Graph Transformation; Lecture Notes in Computer Science,
Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele - p. 3-19 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Implementing YewPar: A Framework for Parallel Tree Search:

, In: Lecture Notes in Computer Science; Euro-Par 2019: Parallel Processing,
Archibald, Blair ; Maier, Patrick ; Stewart, Robert. - p. 184-196 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Sequential and Parallel Solution-Biased Search for Subgraph..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,
Archibald, Blair ; Dunlop, Fraser ; Hoffmann, Ruth... - p. 20-38 , 2019
Link: https://doi.org/10.1007/..
 
1-15