Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions.

Didier Henrion Jared Miller Mohab Safey El Din

Published in: CoRR (2024)

Keyphrases

data sets
decision procedures
case study
expert systems
higher order
endpoints
optimal path
data mining
artificial neural networks
hidden markov models
theorem proving
algebraic structure
computer algebra
equational theories