Published: 2023-09-01

Articles

Hybrid-Automata Abstractions of Soluble Gas-Kick Transients for Formal Verification of Well-Control Logic Under Partial Observability

Adrian Castillo, Lorenzo Cabrera (Author)

1-14

PDF