Blair Archibald -

Registered user since Mon 20 Jan 2020

Name:Blair Archibald

Affiliation:University of Glasgow

Contributions

NASA Formal Methods	Author of Quantitative Verification and Strategy Synthesis for BDI Agents within the NFM 2023-track
PPoPP 2020	Author of YewPar: Skeletons for Exact Combinatorial Search within the Main Conference-track