Benjamin Herd

According to our database1, Benjamin Herd authored at least 9 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis.
ACM Trans. Intell. Syst. Technol., 2019

Temporary Censorship Attacks in the Presence of Rational Miners.
IACR Cryptol. ePrint Arch., 2019

2018
Quantitative analysis of multi-agent systems through statistical verification of simulation traces.
Int. J. Agent Oriented Softw. Eng., 2018

2015
Statistical runtime verification of agent-based simulations.
PhD thesis, 2015

MC<sup>2</sup>MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations.
Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015

Quantitative Analysis of Multiagent Systems Through Statistical Model Checking.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Monitoring Hierarchical Agent-based Simulation Traces.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2013
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking.
Proceedings of the Multi-Agent-Based Simulation XIV - International Workshop, 2013

2012
Compositional transient reachability analysis for agent-based simulations.
Stud. Inform. Univ., 2012


  Loading...