Benjamin Carleton

According to our database, Benjamin Carleton authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Separating and Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

J. Artif. Intell. Res., 2024

Search Versus Search for Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

Proceedings of the Multi-Agent Systems - 21st European Conference, 2024

2023

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2021

A Critique of Keum-Bae Cho's Proof that P ⊊ NP.

Benjamin Carleton, Michael C. Chavrimootoo, Conor Taliancich

CoRR, 2021