Horn2VMT: Translating Horn Reachability into Transition Systems.
Conference
·
OSTI ID:1783647
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1783647
- Report Number(s):
- SAND2020-5117C; 686116
- Country of Publication:
- United States
- Language:
- English
Similar Records
Multiple Pursuer-Based Intercept via Forward Stochastic Reachability.
Multiple Pursuer-Based Intercept via Forward Stochastic Reachability.
EUFicient Reachability in Software with Arrays.
Conference
·
Wed Jan 31 23:00:00 EST 2018
·
OSTI ID:1432020
Multiple Pursuer-Based Intercept via Forward Stochastic Reachability.
Conference
·
Fri Jun 01 00:00:00 EDT 2018
·
OSTI ID:1530130
EUFicient Reachability in Software with Arrays.
Conference
·
Tue Sep 01 00:00:00 EDT 2020
·
OSTI ID:1819040