Sign in

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.

Tobias SeufertFelix WintererChristoph SchollKarsten ScheiblerTobias PaxianBernd Becker
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
  • theorem proving
  • deontic logic
  • real time
  • data sets
  • agent architecture
  • real world
  • data mining
  • multi class
  • proof planning