Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Osbert Bastani
Active Learning of Points-To Specifications
Specification Inference Using Context-Free Language Reachability
Related publications
EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Having Fun in Learning Formal Specifications
EasyChair Preprints
Invariant Points of Semi-Active Suspensions
Advances in Mechanical Engineering
Mechanical Engineering
Points: Learning Medicine
BMJ
Towards Automated Specifications of Scenarios in Enhanced Learning Technology
Active Learning
A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Active Learning
