Bernd Finkbeiner
6 papers · 2021–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (15) π£ Hot Topic Early Bird
π
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Deep Learning
(4)
Architectures
(4)
Machine Learning
(3)
Computer Science
(2)
Knowledge & Reasoning
(2)
Application Areas
(2)
Core Methods
(2)
Foundations
(2)
Learning Types Β· Machine Learning
(2)
Reasoning
(2)
Mathematics & Optimization
(1)
Applications
(1)
Learning Types Β· Deep Learning
(1)
Keywords
formal verification
(3)
temporal logic
(2)
neural network
(2)
linear temporal logic
(2)
linear-time temporal logic
(2)
formal language
(1)
model checking
(1)
specification mining
(1)
propositional satisfiability
(1)
circuit synthesis
(1)
neuro-symbolic computing
(1)
alternating-time temporal logic
(1)
neuro-symbolic approach
(1)
control synthesis
(1)
attention-based architecture
(1)
transformer model
(1)
concurrent game structure
(1)
safety controller
(1)
sequential circuit
(1)
neural circuit synthesis
(1)
Papers
Universal Safety Controllers with Learned Prophecies
AAAI 2026
Learning Better Representations From Less Data For Propositional Satisfiability
NeurIPS 2024
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
AAAI 2024
Iterative Circuit Repair Against Formal Specifications
ICLR 2023
Neural Circuit Synthesis from Specification Patterns
NeurIPS 2021
Teaching Temporal Logics to Neural Networks
ICLR 2021