67 citations · 121 across the 5 of their papers we have counts for
4 papers · 1 filter
How to Learn a Model Checker
Dung Phan, Radu Grosu, Nicola Paoletti +2
We show how machine-learning techniques, particularly neural networks, offer a very effective and highly efficient solution to the approximate model-checking problem for continuous…
Declarative vs Rule-based Control for Flocking Dynamics
Usama Mehmood, Nicola Paoletti, Dung Phan +6
The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question…
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
Dung Phan, Junxing Yang, Matthew Clark +4
We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Gua…
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
Dung Phan, Scott A. Smolka, Radu Grosu +3
We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective functi…