Bruce Krogh

Identifiers

• name variant Bruce Krogh 0.60 · backfill

Papers (1)

1. Forward Invariant Cuts to Simplify Proofs of Safety cs.LO · 2015 · author #5

Mentions

• 1507.05133 #5 · arxiv_oai · confidence 0.70 Bruce Krogh

Frequent Coauthors

• Andre Platzer 1 shared papers
• James Kapinski 1 shared papers
• Jyotirmoy Deshmukh 1 shared papers
• Nikos Arechiga 1 shared papers