pith. sign in

Greg Chance

Identifiers

  • name variant Greg Chance 0.60 · backfill

Papers (8)

  1. Soft Gripping: Specifying for Trustworthiness cs.RO · 2023 · author #3
  2. AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms cs.RO · 2023 · author #4
  3. Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process cs.SE · 2022 · author #4
  4. On Specifying for Trustworthiness cs.AI · 2022 · author #3
  5. Safety Validation of Autonomous Vehicles using Assertion Checking cs.DB · 2021 · author #2
  6. On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification cs.RO · 2021 · author #1
  7. CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract) cs.CR · 2020 · author #5
  8. An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification cs.MA · 2019 · author #1

Mentions

  • 2302.10292 #4 · arxiv_oai · confidence 0.70 Greg Chance
  • 2206.11421 #3 · arxiv_oai · confidence 0.70 Greg Chance
  • 2307.01159 #3 · arxiv_oai · confidence 0.70 Greg Chance
  • 2104.06262 #1 · arxiv_oai · confidence 0.70 Greg Chance
  • 2208.05273 #4 · arxiv_oai · confidence 0.70 Greg Chance
  • 2111.04611 #2 · arxiv_oai · confidence 0.70 Greg Chance
  • 1912.05434 #1 · arxiv_oai · confidence 0.70 Greg Chance
  • 2006.14890 #5 · arxiv_oai · confidence 0.70 Greg Chance

Frequent Coauthors