Masataka Nishi

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 5

Top Topics

Equality And Inequality Constraints

Video Recordings

Nonlinear Programming

Motion Patterns

Top Venues

AAAI Fall Symposia

Publications

Masataka Nishi
Process Barrier for Predictable and Repeatable Concurrent Execution. PMAM@PPoPP (2019)
Masataka Nishi
Preemptive Detection of Unsafe Motion Liable for Hazard. AAAI Workshops (2017)
Masataka Nishi
Reduction of the State Observation Problem to an Identifiability Problem. AAAI Fall Symposia (2016)
Masataka Nishi
Towards bounded model checking using nonlinear programming solver. ASE (2016)
Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS (2015)