Login / Signup
Nikhil Loney
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Modulo Theories
Action Language
Answer Set Programming
Hybrid Automata
Top Venues
CoRR
Theory Pract. Log. Program.
</>
Publications
</>
Joohyung Lee
,
Nikhil Loney
,
Yunsong Meng
Representing Hybrid Automata by Action Language Modulo Theories.
CoRR
(2017)
Joohyung Lee
,
Nikhil Loney
,
Yunsong Meng
Representing hybrid automata by action language modulo theories.
Theory Pract. Log. Program.
17 (5-6) (2017)