Luan V. Nguyen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Khaza Anuarul Hoque
23 publications
Taylor T. Johnson
22 publications
Stanley Bak
18 publications
David Feil-Seifer
11 publications
Hung M. La
3 publications
Steven Drager
2 publications
Huy X. Pham
1 publication
Wesam Haddad
1 publication

research

∙ 07/14/2022

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach

Satisfiability Modulo Theories (SMT) solvers have been successfully appl...

0 Luan V. Nguyen, et al. ∙

research

∙ 06/24/2018

Cyber-Physical Specification Mismatches

Embedded systems use increasingly complex software and are evolving into...

0 Luan V. Nguyen, et al. ∙

research

∙ 01/16/2018

Autonomous UAV Navigation Using Reinforcement Learning

Unmanned aerial vehicles (UAV) are commonly used for missions in unknown...

0 Huy X. Pham, et al. ∙

Success!

An error occurred