Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Kai Chen 0009, Fan Jiang 0005, Chuan-dong Huang	A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences.	SAC	2006	DBLP DOI BibTeX RDF	output-shifting faults, synchronization problems, distributed system, conformance testing, FSM
18	Gagan Raj Gupta, Madhur Gupta, Preeti Ranjan Panda	Rapid estimation of control delay from high-level specifications.	DAC	2006	DBLP DOI BibTeX RDF	control delay, high level synthesis, estimation, FSM
18	Abdennour El Rhalibi, Nick Baker, Madjid Merabti	Emotional agent model and architecture for NPCs group control and interaction to facilitate leadership roles in computer entertainment.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	IPD, NPC, game application, team behaviour, norms, FSM, emotional model, RBS, computer entertainment
18	Alex K. Jones, Debabrata Bagchi, Satrajit Pal, Xiaoyong Tang, Alok N. Choudhary, Prithviraj Banerjee	PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations.	CASES	2002	DBLP DOI BibTeX RDF	FPGA, low-power, compiler, SoC, synthesis, pipelining, VHDL, IP, ASIC, high-performance, FSM, Verilog, HDL, levelization
18	Xiao Sun 0002, Carmie Hull	Functional Verification Coverage vs. Physical Stuck-at Fault Coverage.	DFT	1998	DBLP DOI BibTeX RDF	functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time
18	X. Wendling, Raphaël Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
18	Franco Fummi, Donatella Sciuto, M. Serro	Synthesis for testability of large complexity controllers.	ICCD	1995	DBLP DOI BibTeX RDF	large complexity controllers, industrial design environments, top-down methodology, hierarchical descriptions, irredundant circuits, optimized gate-level descriptions, testable descriptions, specification, high level synthesis, finite state machines, finite state machines, design for testability, design for testability, VHDL, automatic testing, logic CAD, hardware description languages, FSM, synthesis for testability, logic gates
18	Mark G. Graff	KIBITZ: the design of a bridge-bidding program utilizing simulated human judgement.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	bridge bidding, expert judgement, judgement spaces, simulated human judgement, pattern recognition, Artificial intelligence, FSM, game playing
17	Divyanshu Divyanshu, Rajat Kumar, Danial Khan, Selma Amara, Yehia Massoud	FSM Inspired Unconventional Hardware Watermark Using Field-Assisted SOT-MTJ.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	M. Al-Momani Mohammad, Amneh Al-Mbaideen, Abdullah I. Al-Odienat, Khaled Mohammad Alawasa, Saba F. Al-Gharaibeh	An Optimal Nonlinear Type-2 Fuzzy FOPID Control Design Based on Integral Performance Criteria Using FSM.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor	ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	Jiaming Wu, Domenic Forte	EXERTv2: Exhaustive Integrity Analysis for Information Flow Security with FSM Integration.	J. Hardw. Syst. Secur.	2023	DBLP DOI BibTeX RDF
17	Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk	A formal verification approach for composite smart contracts security using FSM.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
17	Muhtadi Choudhury, Minyan Gao, Avinash Varna 0001, Elad Peer, Domenic Forte	Enhanced PATRON: Fault Injection and Power-aware FSM Encoding Through Linear Programming.	ACM Trans. Design Autom. Electr. Syst.	2023	DBLP DOI BibTeX RDF
17	Jim Geist, Travis Meade, Shaojie Zhang, Yier Jin	Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT.	CoRR	2023	DBLP DOI BibTeX RDF
17	Nelson R. C. Monteiro, Tiago Pereira 0001, Ana Catarina D. Machado, José Luís Oliveira, Maryam Abbasi, Joel P. Arrais	FSM-DDTR: End-to-end feedback strategy for multi-objective De Novo drug design using transformers.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
17	Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor	ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Filemón Arenas-Rosales, Fernando Martell-Chávez, Irma Y. Sánchez Chávez, Carlos A. Paredes-Orta	Virtual UR5 Robot for Online Learning of Inverse Kinematics and Independent Joint Control Validated with FSM Position Control.	Robotics	2023	DBLP DOI BibTeX RDF
17	Lyuheng Yuan, Da Yan 0001, Wenwen Qu, Saugat Adhikari, Jalal Khalil, Cheng Long, Xiaoling Wang	T-FSM: A Task-Based System for Massively Parallel Frequent Subgraph Pattern Mining from a Big Graph.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
17	Endri Kaja, Nicolas Gerlin, Robert Kunzelmann, Keerthikumara Devarajegowda, Wolfgang Ecker	Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation.	MCSoC	2023	DBLP DOI BibTeX RDF
17	Danial Nikbin Azmoudeh, Yvan Labiche	Analysis of mutation operators for FSM testing.	ICSTW	2023	DBLP DOI BibTeX RDF
17	Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi	CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme.	VTS	2023	DBLP DOI BibTeX RDF
17	Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor	ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.	ITC	2023	DBLP DOI BibTeX RDF
17	Rohan P. Singh, Pierre Gergondet, Fumio Kanehiro	Mc-Mujoco: Simulating Articulated Robots with FSM Controllers in MuJoCo.	SII	2023	DBLP DOI BibTeX RDF
17	Marco T. Morazán	Composing Turing Machines in FSM.	SPLASH-E	2023	DBLP DOI BibTeX RDF
17	Hongliang Mao, Jie Zhong, Siyuan Yu, Pei Xiao, Xinghao Yang, Gaoyuan Lu	An Atmospheric Turbulence Compensation Algorithm Based on FSM-DM Cascaded AO Architecture for FSO Communications.	Network	2022	DBLP DOI BibTeX RDF
17	Yu Cao, Xiuqin Su, Xueming Qian, Haitao Wang, Wei Hao, Meilin Xie, Xubin Feng, Junfeng Han, Mingliang Chen, Chenglong Wang	A Tracking Imaging Control Method for Dual-FSM 3D GISC LiDAR.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
17	Xincheng Feng, Ke Hu, Kaining Han	MM-FSM$: $: A High-Efficiency General Nonlinear Function Generator for Stochastic Computation.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
17	Yisoo Lee, Hosang Lee, Jinoh Lee, Jaeheung Park	Toward Reactive Walking: Control of Biped Robots Exploiting an Event-Based FSM.	IEEE Trans. Robotics	2022	DBLP DOI BibTeX RDF
17	Omer Nguena Timo	Mining Precise Test Oracle Modelled by FSM.	CoRR	2022	DBLP DOI BibTeX RDF
17	Rohan P. Singh, Pierre Gergondet, Fumio Kanehiro	mc-mujoco: Simulating Articulated Robots with FSM Controllers in MuJoCo.	CoRR	2022	DBLP DOI BibTeX RDF
17	Mehdi Sookhak, Amir Hossein Mohajerzadeh	FSM: FBS Set Management, An energy efficient multi-drone 3D trajectory approach in cellular networks.	CoRR	2022	DBLP BibTeX RDF
17	Jongsung Kang, Taewhan Kim	Improving Speed of MUX-FSM-based Stochastic Computing for On-device Neural Networks.	J. Comput. Sci. Eng.	2022	DBLP DOI BibTeX RDF
17	Robert Sachtleben, Jan Peleska 0001	Effective grey-box testing with partial FSM models.	Softw. Test. Verification Reliab.	2022	DBLP DOI BibTeX RDF
17	Johannes Schlarp, Lukas Klemen, Ernst Csencsics, Georg Schitter	Improving the Repeatability of a Color Sensor by Integrating an FSM for Scanning-based Areal Measurements.	AIM	2022	DBLP DOI BibTeX RDF
17	Andrey Laputenko, Nina Yevtushenko 0001, Valentina Andreeva, Anzhela Yu. Matrosova	Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits.	ISVLSI	2022	DBLP DOI BibTeX RDF
17	Ren Liu, Nitish Sontakke, Sehoon Ha	PM-FSM: Policies Modulating Finite State Machine for Robust Quadrupedal Locomotion.	IROS	2022	DBLP DOI BibTeX RDF
17	Alexandros Filotheou, Georgios D. Sergiadis, Antonis G. Dimitriou	FSM: Correspondenceless scan-matching of panoramic 2D range scans.	IROS	2022	DBLP DOI BibTeX RDF
17	Leon Li, Alex Orailoglu	JANUS-HD: Exploiting FSM Sequentiality and Synthesis Flexibility in Logic Obfuscation to Thwart SAT Attack While Offering Strong Corruption.	DATE	2022	DBLP DOI BibTeX RDF
17	Xin Yi, Bo Ma 0001, Jiahao Wu	FSM: Feature Sampling Module for Object Detection.	ICASSP	2022	DBLP DOI BibTeX RDF
17	Valery Salauyou	Embedded Processor Design in FPGA by ASMD-FSMD and FSM-Single Techniques.	CISIM	2022	DBLP DOI BibTeX RDF
17	Youssef Attallah, Hassan Soubra	Towards a COSMIC FSM Programming Language Compiler.	IWSM-Mensura	2022	DBLP BibTeX RDF
17	Zeeshan Ali, Pallavi Paliwal, Rupesh Lad, Dhanraj Bhukya, Shalabh Gupta	A Fast Locking Ring Oscillator Based Fractional-N DPLL With an Assistance From a LUT-Based FSM.	ISCAS	2022	DBLP DOI BibTeX RDF
17	Xiaojuan Ban, Di Zhang, Jinsheng Sun, Jingu Yang	An action identification method based on FSM and limb dry weight.	Pers. Ubiquitous Comput.	2021	DBLP DOI BibTeX RDF
17	Kyu-Man Lee, Taek-Won Kwon	MLSE Based on Phase Difference FSM for GFSK Signals.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Robert Sachtleben, Jan Peleska 0001	Effective grey-box testing with partial FSM models.	CoRR	2021	DBLP BibTeX RDF
17	Aijiao Cui, Chengkang He, Chip-Hong Chang, Hao Lu	Identification of FSM State Registers by Analytics of Scan-Dump Data.	IEEE Trans. Inf. Forensics Secur.	2021	DBLP DOI BibTeX RDF
17	Moritz Bergenthal, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben	libfsmtest An Open Source Library for FSM-Based Testing.	ICTSS	2021	DBLP DOI BibTeX RDF
17	Omer Nguena Timo	Mining Precise Test Oracle Modelled by FSM.	ICTSS	2021	DBLP DOI BibTeX RDF
17	Fangui Meng, Aimin Liu, Shuai Jing, Yi Zu	FSM trajectory tracking controllers of OB-AUV in the horizontal plane.	ISR	2021	DBLP DOI BibTeX RDF
17	Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko	FSM-based Sequential Circuits Optimization by Changing Initial State of Specification.	EWDTS	2021	DBLP DOI BibTeX RDF
17	Sina Asadi, M. Hassan Najafi, Mohsen Imani	A Low-Cost FSM-based Bit-Stream Generator for Low-Discrepancy Stochastic Computing.	DATE	2021	DBLP DOI BibTeX RDF
17	Jongsung Kang, Taewhan Kim	Speeding up MUX-FSM based Stochastic Computing for On-device Neural Networks.	DATE	2021	DBLP DOI BibTeX RDF
17	Cristian Gadea, Bogdan Ionescu, Dan Ionescu	Demo: A FSM Approach to Web Collaboration.	ICDCS	2021	DBLP DOI BibTeX RDF
17	Weiwei Lin 0003, Hongwei Zeng	Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing.	CSSE	2021	DBLP DOI BibTeX RDF
17	Leon Li, Shuyi Ni, Alex Orailoglu	JANUS: Boosting Logic Obfuscation Scope Through Reconfigurable FSM Synthesis.	HOST	2021	DBLP DOI BibTeX RDF
17	Junqiao Qiu, Xiaofan Sun, Amir Hossein Nodehi Sabet, Zhijia Zhao 0001	Scalable FSM parallelization via path fusion and higher-order speculation.	ASPLOS	2021	DBLP DOI BibTeX RDF
17	Rihab Ayed, Mohand-Saïd Hacid, Rafiqul Haque, Abderrazak Jemai	An updated dashboard of complete search FSM implementations in centralized graph transaction databases.	J. Intell. Inf. Syst.	2020	DBLP DOI BibTeX RDF
17	Nitish Das, Aruna Priya P.	Reset: A Reconfigurable state encoding technique for FSM to achieve security and hardware optimality.	Microprocess. Microsystems	2020	DBLP DOI BibTeX RDF
17	Yuejun Zhang, Zhao Pan 0001, Pengjun Wang, Xiaowei Zhang	A Low Cost MST-FSM Obfuscation Method for Hardware IP Protection.	J. Circuits Syst. Comput.	2020	DBLP DOI BibTeX RDF
17	Amir Hossein Nodehi Sabet, Junqiao Qiu, Zhijia Zhao 0001, Sriram Krishnamoorthy	Reliability Analysis for Unreliable FSM Computations.	ACM Trans. Archit. Code Optim.	2020	DBLP DOI BibTeX RDF
17	Kallil M. C. Zielinski, Marcelo Teixeira, Richardson Ribeiro, Dalcimar Casanova	Concept and the implementation of a tool to convert industry 4.0 environments modeled as FSM to an OpenAI Gym wrapper.	CoRR	2020	DBLP BibTeX RDF
17	Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde	Visual Designing and Debugging of Deterministic Finite-State Machines in FSM.	TFPIE	2020	DBLP DOI BibTeX RDF
17	Shlomi Dolev, Ziyu Wang 0009	SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
17	Shlomi Dolev, Ziyu Wang 0009	SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts.	NCA	2020	DBLP DOI BibTeX RDF
17	Jeremy Pope, Jules Saget, Carl-Johan H. Seger	Stately: An FSM Design Tool.	MEMOCODE	2020	DBLP DOI BibTeX RDF
17	Jia-Ken Li, Hung-Wen Lin	A Baseband All-Digital Clock and Data Recovery Circuit with A Limited Range Binary Search FSM.	ICCE-TW	2020	DBLP DOI BibTeX RDF
17	Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001	Using an SMT Solver for Checking the Completeness of FSM-Based Tests.	ICTSS	2020	DBLP DOI BibTeX RDF
17	Maryna Miroschnyk, Alexander Shkil, Dariia Rakhlis, Elvira Kulak, Inna Filippenko, Mykyta Malakhov	Hardware Implementation of Timed Logical Control FSM.	EWDTS	2020	DBLP DOI BibTeX RDF
17	Ziming Wang, Aijiao Cui, Gang Qu 0001	A Low-Cost Fault Injection Attack Resilient FSM Design.	SoCC	2020	DBLP DOI BibTeX RDF
17	WooHyun Park	Intelligent Camera Using a Finite-State Machine (FSM).	IMCOM	2020	DBLP DOI BibTeX RDF
17	Junqiao Qiu	FSM-Centric Speculative Parallelization for Scalable Data Processing		2020	RDF
17	Cezary Zielinski, Maksym Figat, René Hexel	Communication Within Multi-FSM Based Robotic Systems.	J. Intell. Robotic Syst.	2019	DBLP DOI BibTeX RDF
17	Sajid Khan 0002, Lansheng Han, Hongwei Lu, Khushbu Khalid Butt, Guehguih Bachira, Naimat-Ullah Khan	A New Hybrid Image Encryption Algorithm Based on 2D-CA, FSM-DNA Rule Generator, and FSBI.	IEEE Access	2019	DBLP DOI BibTeX RDF
17	Shao-I Chu, Chen-En Hsieh, Yu-Jung Huang	Design of FSM-Based Function With Reduced Number of States in Integral Stochastic Computing.	IEEE Trans. Very Large Scale Integr. Syst.	2019	DBLP DOI BibTeX RDF
17	Kokila Jagadeesh, Arjun Murali Das, B. Shameedha Begum, Natarajan Ramasubramanian	Hardware Signature Generation Using a Hybrid PUF and FSM Model for an SoC Architecture.	Period. Polytech. Electr. Eng. Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Mike Borowczak, Ranga Vemuri	Mitigating information leakage during critical communication using S*FSM.	IET Comput. Digit. Tech.	2019	DBLP DOI BibTeX RDF
17	Satish Kumar, Rajesh Devaraj, Arnab Sarkar, Arijit Sur	Client-Side QoE Management for SVC Video Streaming: An FSM Supported Design Approach.	IEEE Trans. Netw. Serv. Manag.	2019	DBLP DOI BibTeX RDF
17	Priyanka Choudhury, Kanchan Manna, Vivek Rai, Sambhu Nath Pradhan	Thermal-Aware Partitioning and Encoding of Power-Gated FSM.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
17	Pritam Bhattacharjee, Alak Majumder	A Variation-Aware Robust Gated Flip-Flop for Power-Constrained FSM Application.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
17	Abhishek Nag, Subhajit Das 0004, Sambhu Nath Pradhan	Low-Power FSM Synthesis Based on Automated Power and Clock Gating Technique.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
17	Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra 0001, Domenic Forte, Mark M. Tehranipoor	Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
17	Kokila Jagadeesh, N. Ramasubramanian 0001	Enhanced Authentication Using Hybrid PUF with FSM for Protecting IPs of SoC FPGAs.	J. Electron. Test.	2019	DBLP DOI BibTeX RDF
17	Marc Fyrbiak, Sebastian Wallat, Jonathan Déchelotte, Nils Albartus, Sinan Böcker, Russell Tessier, Christof Paar	On the Difficulty of FSM-based Hardware Obfuscation.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Omer Nguena Timo, Alexandre Petrenko, S. Ramesh 0002	Fault model-driven testing from FSM with symbolic inputs.	Softw. Qual. J.	2019	DBLP DOI BibTeX RDF
17	Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat	FSM inference and checking sequence construction are two sides of the same coin.	Softw. Qual. J.	2019	DBLP DOI BibTeX RDF
17	Noorkholis Luthfil Hakim, Timothy K. Shih, Sandeli Priyanwada Kasthuri Arachchi, Wisnu Aditya, Yi-Cheng Chen, Chih-Yang Lin	Dynamic Hand Gesture Recognition Using 3DCNN and LSTM with FSM Context-Aware Model.	Sensors	2019	DBLP DOI BibTeX RDF
17	Mariem Haoues, Asma Sellami, Hanêne Ben-Abdallah	Towards functional change decision support based on COSMIC FSM method.	Inf. Softw. Technol.	2019	DBLP DOI BibTeX RDF
17	Yanyun Tao, Lijun Zhang, Qinyu Wang, Rong Chen, Yuzhen Zhang	A multi-population evolution stratagy and its application in low area/power FSM synthesis.	Nat. Comput.	2019	DBLP DOI BibTeX RDF
17	Robert M. Hierons	FSM quasi-equivalence testing via reduction and observing absences.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
17	Yulu Qi, Jincheng Zhong, Rong Jiang 0001, Yan Jia 0001, Aiping Li, Li Huang, Weihong Han	FSM-Based Cyber Security Status Analysis Method.	DSC	2019	DBLP DOI BibTeX RDF
17	Atiyehsadat Panahi, Keaten Stokke, David Andrews 0001	A Library of FSM-based Floating-Point Arithmetic Functions on FPGAs.	ReConFig	2019	DBLP DOI BibTeX RDF
17	Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda	Fault Detection in Timed FSM with Timeouts by SAT-Solving.	QRS	2019	DBLP DOI BibTeX RDF
17	Omer Nguena Timo, Alexandre Petrenko, S. Ramesh 0002	Using Imprecise Test Oracles Modelled by FSM.	ICST Workshops	2019	DBLP DOI BibTeX RDF
17	Dominik Meyer, Marcel Eckert, Bernd Klauer, Jan Haase 0001	HDL FSM Code Generation Using a MIPS-based Assembler.	ISIE	2019	DBLP DOI BibTeX RDF
17	Subrato Saha, Nuwantha Fernando, Rekha Jayarajan, Lasantha Meegahapola	FSM Stator Tooth to Rotor Pole MEC Modelling and Full Machine Simulation.	ISIE	2019	DBLP DOI BibTeX RDF
17	Jie Liu, Da He, Zhihong Rao	An Analysis Model of Buffer Overflow Vulnerability Based on FSM.	ICGDA	2019	DBLP DOI BibTeX RDF
17	Chengkang He, Aijiao Cui, Chip-Hong Chang	Identification of State Registers of FSM Through Full Scan by Data Analytics.	AsianHOST	2019	DBLP DOI BibTeX RDF
17	Tuna Hacaloglu, Onur Demirörs	Measureability of Functional Size in Agile Software Projects: Multiple Case Studies with COSMIC FSM.	SEAA	2019	DBLP DOI BibTeX RDF
17	Manuel Acosta, Valentin G. Ivanov, Sergey Malygin	On Highly-Skilled Autonomous Competition Vehicles: An FSM for Autonomous Rallycross.	ICM	2019	DBLP DOI BibTeX RDF