I agree that this site is using cookies. You can find further informations here.
X
Visnevski, Nikita
6  results:
Search for persons X
?
1

Towards the Certification of Neural Networks using Overarch..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Paul, Saswata ; Prince, Daniel ; Iyer, Naresh... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Automatic Synthesis of Information Flow Driven Execution Ma..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Visnevski, Nikita ; Hubscher-Younger, Teresa ; Rajhans, Akshay. - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Scalable Optimal Flexibility Control, modeling and estimati..:

, In: 2020 American Control Conference (ACC),
Ghaemi, Reza ; Kumar, Aditya ; Bonanni, Pierino. - p. 2318-2325 , 2020
Link: https://doi.org/10.23919..
 
?
4

Testing and evaluation aspects of integration of unmanned a..:

, In: Proceedings of the 10th Performance Metrics for Intelligent Systems Workshop,
Castillo-Effen, Mauricio ; Visnevski, Nikita - p. 127-132 , 2010
Link: https://dl.acm.org/doi/1..
 
?
5

Evolutionary framework for test of autonomous systems:

, In: Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems,
Subbu, Raj ; Visnevski, Nikita ; Djang, Philipp - p. 93-98 , 2009
Link: https://dl.acm.org/doi/1..
 
?
6

Modeling and simulation for unmanned and autonomous system ..:

, In: Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems,
Castillo-Effen, Mauricio ; Visnevski, Nikita ; Subbu, Raj - p. 86-92 , 2009
Link: https://dl.acm.org/doi/1..
 
1-6