Login / Signup
Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement.
Terrance Sun
Lawrence Sun
Marek A. Perkowski
Published in:
ISMVL (2012)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
real time
symbolic model checking
association rules
decision rules
program slicing
mobile robot
decision trees
domain specific
rule sets
robotic systems
functional verification