Kazutoshi Sakakibara
According to our database1,
Kazutoshi Sakakibara
authored at least 37 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
2022
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the International Conference on Machine Learning and Cybernetics, 2022
The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2022
Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2022
An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2022
2021
Int. J. Softw. Eng. Knowl. Eng., 2021
2020
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method.
CoRR, 2020
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.
Proceedings of the 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2020
2019
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
Proceedings of the 2018 Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), 2018
Validation of Usability of Bridges in Urban Districts by Multi-Agent Simulation Techniques.
Proceedings of the Intelligent Environments 2018, 2018
Control of Thermal Grid Systems by Machine Learning Techniques Incorporating Mathematical Programming.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018
2017
Reinforcement Learning Approach for Adaptive Negotiation-Rules Acquisition in AGV Transportation Systems.
J. Adv. Comput. Intell. Intell. Informatics, 2017
2016
Multi-agent Simulation with Mathematical Optimization of Urban Traffic Using Open Geographic Data.
Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016
Optimal power distribution for decentralized electric energy network with electric vehicles.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
2015
A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015
Interactive optimization techniques based on a column generation model for timetabling problems of university makeup courses.
Proceedings of the IEEE 8th International Workshop on Computational Intelligence and Applications, 2015
2014
Optimization of design of decentralized energy networks by mathematical programming techniques.
Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014
Multi-agent simulation model of urban traffic behavior of inhabitants applying optimization techniques.
Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014
2013
Network Topology and Battery Size Exploration for Decentralized Energy Network with MIP Base Power Flow Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
Adaptive optimization by dynamic programming heuristics for logistics planning in dynamic environments.
Proceedings of the 2013 IEEE/SICE International Symposium on System Integration, 2013
2012
Analysis on battery storage utilization in decentralized solar energy networks based on a mathematical programming model.
Proceedings of the 6th International Conference on Soft Computing and Intelligent Systems (SCIS), 2012
A battery degradation aware optimal power distribution on decentralized energy network.
Proceedings of the 10th IEEE International NEWCAS Conference, 2012
2009
Prediction of the O-glycosylation by Support Vector Machines and Characteristics of the Crowded and Isolated O-glycosylation Sites.
Proceedings of the Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2009), 2009
2008
Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System.
Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008
Effective Integration of Imitation Learning and Reinforcement Learning by Generating Internal Reward.
Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008
Prediction of the <i>O</i>-Glycosylation by Support Vector Machines and Semi-supervised Learning.
Proceedings of the Advances in Neuro-Information Processing, 15th International Conference, 2008
2007
Prediction of the <i>O</i> -Glycosylation with Secondary Structure Information by Support Vector Machines.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Complex-valued Neuron to describe the Dynamics after Hopf Bifurcation: an Example of CPG Model for a Biped Locomotion.
Proceedings of the International Joint Conference on Neural Networks, 2007
Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2007
2006
Prediction of the <i>O</i>-glycosylation Sites in Protein by Layered Neural Networks and Support Vector Machines.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006
Proceedings of the International Joint Conference on Neural Networks, 2006
2005
Phase dynamics of complex-valued neural networks and its application to traffic signal control.
Int. J. Neural Syst., 2005
The effectiveness of multiobjective optimizer in single-objective optimization enviroment.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005
Proceedings of the IEEE Congress on Evolutionary Computation, 2005