Skip to content
<title>Channels - The Church Synthesis Problem over Continuous Time :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
The Church Synthesis Problem over Continuous Time
Search for more channels:
Similar Items: The Church Synthesis Problem over Continuous Time
Channel Options
View Record
Explore related channels
Quick Look
The Church Synthesis Problem with Parameters
Quick Look
The Church Problem for Countable Ordinals
Quick Look
A Curry-Howard Approach to Church's Synthesis
Quick Look
Borel-piecewise continuous reducibility for uniformization problems
Quick Look
Simulation Problems Over One-Counter Nets
Quick Look
Optimal controller synthesis for timed systems
Quick Look
Expressiveness of Metric modalities for continuous time
Quick Look
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Quick Look
Losing Momentum in Continuous-time Stochastic Optimisation
Quick Look
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Quick Look
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Quick Look
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
Quick Look
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Quick Look
Actor-Critic learning for mean-field control in continuous time
Quick Look
An $omega$-Algebra for Real-Time Energy Problems
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Quick Look
The complexity of linear-time temporal logic over the class of ordinals
Quick Look
RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains
Quick Look
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Quick Look
Parameterized Synthesis
Quick Look
PVSDNet: Joint Depth Prediction and View Synthesis Via Shared Latent Spaces in Real-Time
Quick Look
The principle of pointfree continuity
Quick Look
Continuous Regular Functions
Load more items
View Record
Prev
Explore related channels
Next
