Skip to content
<title>Channels - Finite state verifiers with constant randomness :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Finite state verifiers with constant randomness
Search for more channels:
Similar Items: Finite state verifiers with constant randomness
Channel Options
View Record
Explore related channels
Quick Look
Verified Approximation Algorithms
Quick Look
On computable approximations of Landau's constant
Quick Look
Verifying liquidity of recursive Bitcoin contracts
Quick Look
$rm P$ has polynomial-time finite-state verifiers
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
Extracting verified decision procedures: DPLL and Resolution
Quick Look
Relational Models for the Lambek Calculus with Intersection and Constants
Quick Look
Constant-delay enumeration for SLP-compressed documents
Quick Look
A Program Logic for Verifying Secure Routing Protocols
Quick Look
A New Random Reshuffling Method for Nonsmooth Nonconvex Finite-sum Optimization
Quick Look
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Quick Look
On the Convergence of Projected Policy Gradient for Any Constant Step Sizes
Quick Look
Synchronizability of Communicating Finite State Machines is not Decidable
Quick Look
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Quick Look
Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
Quick Look
Coherent and finiteness spaces
Quick Look
On streams that are finitely red
Quick Look
Reflected Group Delay of a Capacitively Coupled Resonator for Characterization of Dielectric Constant and Loss Tangent of Microstrip Substrates
Quick Look
Admissibility in Finitely Generated Quasivarieties
Quick Look
A Constant State of Agitation
Quick Look
The Complexity of Bisimulation and Simulation on Finite Systems
Quick Look
An Extensible and Verifiable Language for Query Rewrite Rules
Quick Look
Systematically Verified Experimental Thermoelectric Dataset For Data-driven Approaches
Quick Look
A New Random Reshuffling Method for Nonsmooth Nonconvex Finite-sum Optimization
Load more items
View Record
Prev
Explore related channels
Next
