• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2021
• 
  Florentin Ipate, Marian Gheorghe, Raluca Lefticaru:
  Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862: 160-173 (2021)
• 
  Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
  Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR abs/2103.04868 (2021)
• 2020
• 
  Nikos Temenos, Paul P. Sotiriadis:
  Deterministic Finite State Machines for Stochastic Division in Unipolar Format. ISCAS 2020: 1-5
• 
  Andrea Pferscher, Bernhard K. Aichernig:
  Learning Abstracted Non-deterministic Finite State Machines. ICTSS 2020: 52-69
• 
  Kuruge Darshana Abeyrathna, Ole-Christoffer Granmo, Rishad A. Shafik, Alex Yakovlev, Adrian Wheeldon, Jie Lei, Morten Goodwin:
  A Novel Multi-step Finite-State Automaton for Arbitrarily Deterministic Tsetlin Machine Learning. SGAI Conf. 2020: 108-122
• 
  Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde:
  Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. TFPIE 2020: 55-77
• 
  Kuruge Darshana Abeyrathna, Ole-Christoffer Granmo, Rishad A. Shafik, Alex Yakovlev, Adrian Wheeldon, Jie Lei, Morten Goodwin:
  A Novel Multi-Step Finite-State Automaton for Arbitrarily Deterministic Tsetlin Machine Learning. CoRR abs/2007.02114 (2020)
• 2019
• 
  Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh:
  Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. Comput. J. 62(5): 757-768 (2019)
• 
  Patrick Klose, Rudolf Mester:
  Simulated autonomous driving in a realistic driving environment using deep reinforcement learning and a deterministic finite state machine. APPIS 2019: 30:1-30:6
• 2018
• 
  Patrick Klose, Rudolf Mester:
  Simulated Autonomous Driving in a Realistic Driving Environment using Deep Reinforcement Learning and a Deterministic Finite State Machine. CoRR abs/1811.07868 (2018)
• 2016
• 
  Mike A. Marin, Hugo Lotriet, John A. van der Poll:
  Implementing Deterministic Finite State Machines using Guard-Stage-Milestone. SAICSIT 2016: 22:1-22:10
• 2014
• 
  Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão:
  A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. 80: 343-355 (2014)
• 
  Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
  Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF 2014: 203-216
• 2010
• 
  Florentin Ipate:
  Bounded sequence testing from deterministic finite state machines. Theor. Comput. Sci. 411(16-18): 1770-1784 (2010)
• 2009
• 
  Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko:
  Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151
• 2006
• 
  Amir Ingber, Meir Feder:
  Prediction of Individual Sequences using Universal Deterministic Finite State Machines. ISIT 2006: 421-425
• 
  Florentin Ipate:
  Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom 2006: 55-70
• 2003
• 
  Robert M. Hierons:
  Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine. Comput. J. 46(3): 307-318 (2003)
• 1998
• 
  Robert M. Hierons:
  Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. Comput. J. 41(5): 349-355 (1998)
• 1992
• 
  Eduard Cerny:
  Verification of I/O Trace Set Inclusion for a Class of Non-Deterministic Finite State Machines. ICCD 1992: 526-530
• 
  Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann:
  Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 105-116
• 
  Hans Kloosterman:
  Test Derivation from Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 297-308
• 1973
• 
  Thomas A. Kriz:
  Some Binary Output Sequence Properties of Deterministic Autonomous Finite-State Machines with Probabilistic Initialization. IEEE Trans. Computers 22(9): 868-869 (1973)