Intertwined Forward-Backward Reachability Analysis Using Interpolants (Q5326333)
From MaRDI portal
scientific article; zbMATH DE number 6194843
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intertwined Forward-Backward Reachability Analysis Using Interpolants |
scientific article; zbMATH DE number 6194843 |
Statements
Intertwined Forward-Backward Reachability Analysis Using Interpolants (English)
0 references
5 August 2013
0 references
