Concepedia

Akira Fusaoka

AF

Statistics

Publications

2

Citations

74

H-Index

2

Active since

1983

Affiliations

Mitsubishi Electric (Japan)(Current)

Akira Fusaoka is an author at Mitsubishi Electric (Japan) specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSemanticsAutomationProcess ControlComputer ScienceFormal VerificationSystems Engineering

Publications per year

1983–1996

2

Publications

2

A description and reasoning of plant controllers in temporal logic

Akira Fusaoka, Hirohisa Seki, Kasuko Takahashi · International Joint Conference on Artificial Intelligence · 1983 · 58 citations

Causal Argument, Engineering, Automated Reasoning +12

Situation calculus on a dense flow of time

Akira Fusaoka · National Conference on Artificial Intelligence · 1996 · 16 citations

Engineering, Dynamic Epistemic Logic, Geometric Flow +13

1–2 of 2