Patents by Inventor Brandon Kunkel

Brandon Kunkel has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Optimization with behavioral evaluation and rule base coverage
    Patent number: 11580358
    Abstract: The present disclosure describes improvements in optimization systems. During an optimization loop, an advanced objective function is used to determine an objective value, a specification metric, and a rule coverage metric for a particular solution. The specification metric characterizes compliance of the solution with certain formal specifications. The rule coverage metric characterizes the degree to which all rules (or a particular rule) are tested during testing of the system. The objective value and metrics may influence future operation of the optimization loop.
    Type: Grant
    Filed: May 12, 2020
    Date of Patent: February 14, 2023
    Assignee: Thales, S.A.
    Inventors: Nicholas Ernest, Timothy Arnett, Brandon Kunkel