Login / Signup
Tissue safety analysis and duty cycle planning for galvanic coupled intra-body communication.
Meenupriya Swaminathan
Ufuk Muncuk
Kaushik R. Chowdhury
Published in:
ICC (2016)
Keyphrases
</>
safety analysis
duty cycle
symbolic model checking
model checking
safety critical
nuclear power plant
control system
planning problems
real time
partial observability
domain independent
fault model
decision support
heuristic search
motion planning
model checker
medical images
artificial intelligence