Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Verification and synthesis of cyber physical systems with machine learning and constraint-solver-driven learning

Verification and synthesis of cyber physical systems with machine learning and constraint-solver-driven learning

US Patent 12147900 · Granted Nov 19, 2024

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Configuration agreement protocol method2020
Systems and methods of in-band network configuration2019
Hybrid SDN/legacy policy enforcement2019
Systems and methods of in-band network configuration2018
Verifying access-control policies with arithmetic quantifier-free form constrain2017
Verifying access-control policies with arithmetic quantifier-free form constrain2014
Router route reconfiguration planning2014
Optimal network configuration repair2014
Query-based semantic analysis of ad hoc configuration languages for networks2013
Scalable and interactive method of generating and modifying network configuratio2012
Method and system for estimating the ability of a subscriber loop to support bro2000