A5063698490- graph theory and CDMA systems
- Software Testing and Debugging Techniques
- Digital Image Processing Techniques
- Graph Labeling and Dimension Problems
- Machine Learning and Algorithms
- Formal Methods in Verification
Vanderbilt University
2019-2022
Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important formal abstraction amenable to algorithmic analysis its dynamic behaviors, such as in verification, fault identification, anomaly detection. However, for realistic systems, especially industrial ones, identifying automata challenging, due part inferring interactions, which involves inference both continuous through classical system well discrete (e.g., L*) learning. In this paper, we propose evaluate a...
Involve showcases and encourages high-quality mathematical research involving students from all academic levels.The editorial board consists of scientists committed to nurturing student participation in research.Bridging the gap between extremes purely undergraduate journals mainstream journals, provides a venue mathematicians wishing encourage creative involvement students.