Search alternatives:
contract optimization » constraint optimization, control optimization, content optimization
Cover Image
Read Now

1
Published 2022
Springer International Publishing
Table of Contents: “... Hybrid Automata from Time Series -- Optimal Repair For Omega-regular Properties -- Repairing Real-Time...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique...”