Sign in

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.

Jianwen LiRohit DurejaGeguang PuKristin Yvonne RozierMoshe Y. Vardi
Published in: CAV (2) (2018)
Keyphrases
  • user friendly
  • real time
  • information systems
  • database systems
  • relational databases
  • neural network
  • case study
  • data structure
  • data model
  • mobile robot
  • open source
  • source code
  • piecewise linear