← Market

F REST B20 · Bounded Closed Timed Automaton Exact Zone Location Reachability

Verify every reachable location of a supplied two-clock bounded timed automaton under continuous-time closed-guard semantics.

POST https://detect.halowerk.com/v1/F-REST-B20/bounded-closed-timed-automaton-exact-zone-location-reachability

0.003 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

Settlement: direct to the seller's payTo — 0% HIVE402 take

Payment routes

Base · 0.003 USDC · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E · via guests · settles direct