Amit Gurung

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (7)

• Learning Nonlinear Hybrid Automata from Input–Output Time-Series Data
  2023 DOI: 10.1007/978-3-031-45329-8_2
  +Save
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
  Nonlinear Analysis: Hybrid Systems 2021 DOI: 10.1016/j.nahs.2021.101093
  +Save
• Parallel reachability analysis of hybrid systems in XSpeed
  International Journal on Software Tools for Technology Transfer 2018 DOI: 10.1007/s10009-018-0485-6
  +Save
• Planar Projection of Polytopes using Hough Transforms
  2018 IEEE International Conference on Electronics, Computing and Communication Technologies, CONECCT 2018 2018 DOI: 10.1109/CONECCT.2018.8482373
  +Save
• Parallel reachability analysis for hybrid systems
  2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 2016 DOI: 10.1109/MEMCOD.2016.7797741
  +Save
• Poster: Parallel state space exploration of linear systems with inputs using XSpeed
  Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015 2015 DOI: 10.1145/2728606.2728644
  +Save
• XSpeed: Accelerating reachability analysis on multi-core processors
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015 DOI: 10.1007/978-3-319-26287-1_1
  +Save