Ian Pratt-hartmann

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Concurrent Systems

Automated Verification

Bounded Model Checking

Alternating Time Temporal Logic

Top Venues

Publications

Tharindu Madusanka, Riza Batista-navarro, Ian Pratt-hartmann
Identifying the limits of transformers when performing model-checking with natural language. EACL (2023)