Concepedia

Adam Antonik

AA

4

Publications

98

Citations

4

H-Index

2006

Active since

Affiliations

Imperial College London(Current)

IT University of Copenhagen

Adam Antonik is an author at Imperial College London specializing in formal methods, computer science, and formal specification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal SpecificationSystems Engineering

Publications per year

2006–2009

4

Publications

4

20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim G. Larsen et al. · VBN Forskningsportal (Aalborg Universitet) · 2008 · 61 citations · Full text

Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL

Adam Antonik, Michael Huth · Electronic Notes in Theoretical Computer Science · 2006 · 13 citations · Full text

Engineering, Verification, Computer-aided Verification +16

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim G. Larsen et al. · Electronic Notes in Theoretical Computer Science · 2009 · 12 citations · Full text

Decision Procedure, Formal Specification, Engineering +14

Polynomial-Time Under-Approximation of Winning Regions in Parity Games

Adam Antonik, Nathaniel Charlton, Michael Huth · Electronic Notes in Theoretical Computer Science · 2009 · 12 citations · Full text

Rows per page

1–4 of 4