Search results for "nondeterministic"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Nondeterministic Simulink Stateflow Models.	ISMVL	2015	DBLP DOI BibTeX RDF
14	Tomasz Jastrzab, Zbigniew J. Czech, Wojciech Wieczorek	Parallel Induction of Nondeterministic Finite Automata.	PPAM (1)	2015	DBLP DOI BibTeX RDF
14	Jussi H. Poikonen, Eero Lehtonen, Mika Laiho, Timo Knuutila	Implementation of nondeterministic finite automata in an autoassociative CAM circuit.	ISCAS	2015	DBLP DOI BibTeX RDF
14	Mostafa Rafiei, Majid Sina	Choatic GA Based Q-Learning in Nondeterministic Maze Benchmark.	ICCSA (Short Papers/poster papers/PhD student showcase works)	2015	DBLP DOI BibTeX RDF
14	Zhiyuan Shao, Lin Hou, Yan Ai, Yu Zhang 0027, Hai Jin 0001	Is Your Graph Algorithm Eligible for Nondeterministic Execution?	ICPP	2015	DBLP DOI BibTeX RDF
14	Naoki Kushi, Shigemasa Takai	Supervisor synthesis for similarity control of nondeterministic discrete event systems.	ETFA	2015	DBLP DOI BibTeX RDF
14	Chaya Hiruncharoenvate, Zhiyuan Lin 0001, Eric Gilbert	Algorithmically Bypassing Censorship on Sina Weibo with Nondeterministic Homophone Substitutions.	ICWSM	2015	DBLP BibTeX RDF
14	Maksims Dimitrijevs, Irina Scegulnaja	Ultrametric Automata with One Head Versus Multihead Nondeterministic Automata.	SOFSEM (Student Research Forum Papers / Posters)	2015	DBLP BibTeX RDF
14	Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler	Nondeterministic Modal Interfaces.	SOFSEM	2015	DBLP DOI BibTeX RDF
14	Hiroki Morizumi	Lower Bounds for the Size of Nondeterministic Circuits.	COCOON	2015	DBLP DOI BibTeX RDF
14	Benny Applebaum, Sergei Artemenko, Ronen Shaltiel, Guang Yang 0020	Incompressible Functions, Relative-Error Extractors, and the Power of Nondeterministic Reductions (Extended Abstract).	CCC	2015	DBLP DOI BibTeX RDF
14	Sajad Manteghi, Hamid Parvin, Ali Heidarzadegan, Yasser Nemati	Multitask Reinforcement Learning in Nondeterministic Environments: Maze Problem Case.	MCPR	2015	DBLP DOI BibTeX RDF
14	Liangda Fang, Yongmei Liu 0001, Ximing Wen	On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.	IJCAI	2015	DBLP BibTeX RDF
14	Arpit Sharma 0002	Reduction Techniques for Nondeterministic and Probabilistic Systems.		2015	RDF
14	Daniel Reidenbach, Markus L. Schmid	Automata with modulo counters and nondeterministic counter bounds.	Kybernetika	2014	DBLP DOI BibTeX RDF
14	Miroslav Ciric 0001, Jelena Ignjatovic, Milan Basic, Ivana Jancic	Nondeterministic automata: Equivalence, bisimulations, and uniform relations.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
14	Pietro Di Lena, Luciano Margara	Nondeterministic Cellular Automata.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
14	Katsuyuki Kimura, Shigemasa Takai	Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Katsuyuki Kimura, Shigemasa Takai	Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
14	Yangjia Li, Nengkun Yu, Mingsheng Ying	Termination of nondeterministic quantum programs.	Acta Informatica	2014	DBLP DOI BibTeX RDF
14	Ronald Alford, Ugur Kuter, Dana S. Nau, Robert P. Goldman	Plan aggregation for strong cyclic planning in nondeterministic domains.	Artif. Intell.	2014	DBLP DOI BibTeX RDF
14	Ratnesh Kumar 0001, Shengbing Jiang, Changyan Zhou	Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788].	Autom.	2014	DBLP DOI BibTeX RDF
14	Fuchun Liu, Hai Lin 0002, Zbigniew Dziong	Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]".	Autom.	2014	DBLP DOI BibTeX RDF
14	Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko	On the complexity of existence of homing sequences for nondeterministic finite state machines.	Program. Comput. Softw.	2014	DBLP DOI BibTeX RDF
14	Pavel Martyugin	Computational Complexity of Certain Problems Related to Carefully Synchronizing Words for Partial Automata and Directing Words for Nondeterministic Automata.	Theory Comput. Syst.	2014	DBLP DOI BibTeX RDF
14	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Emanuele Giaquinta	Run-Length Encoded Nondeterministic KMP and Suffix Automata.	CoRR	2014	DBLP BibTeX RDF
14	Kayleigh Hyde, Bjørn Kjos-Hanssen	Nondeterministic automatic complexity of almost square-free and strongly cube-free words.	CoRR	2014	DBLP BibTeX RDF
14	Cezar Câmpeanu	Simplifying Nondeterministic Finite Cover Automata.	AFL	2014	DBLP DOI BibTeX RDF
14	Igor Razgon	No small nondeterministic read-once branching programs for CNFs of bounded treewidth.	CoRR	2014	DBLP BibTeX RDF
14	Marek Karpinski, Roland Markó	Complexity of Nondeterministic Graph Parameter Testing.	CoRR	2014	DBLP BibTeX RDF
14	Daniel Goc, Alexandros Palioudakis, Kai Salomaa	Nondeterministic State Complexity of Proportional Removals.	Int. J. Found. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Markus Holzer 0001, Sebastian Jakobi	Nondeterministic Biautomata and their Descriptional Complexity.	Int. J. Found. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Zhiwei Sun, Anthony Skjellum, Lee Ward, Matthew L. Curry	A Lightweight Data Location Service for Nondeterministic Exascale Storage Systems.	ACM Trans. Storage	2014	DBLP DOI BibTeX RDF
14	Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat	Canonical Nondeterministic Automata.	CMCS	2014	DBLP DOI BibTeX RDF
14	Alexandre Petrenko, Nina Yevtushenko 0001	Adaptive Testing of Nondeterministic Systems with FSM.	HASE	2014	DBLP DOI BibTeX RDF
14	Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi	A sampling-based strategy planner for nondeterministic hybrid systems.	ICRA	2014	DBLP DOI BibTeX RDF
14	Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia	A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.	ICTAC	2014	DBLP DOI BibTeX RDF
14	Robert Mattmüller, Manuela Ortlieb, Erik Wacker	Minimizing Necessary Observations for Nondeterministic Planning.	KI	2014	DBLP DOI BibTeX RDF
14	Michele Volpato, Jan Tretmans	Active Learning of Nondeterministic Systems from an ioco Perspective.	ISoLA (1)	2014	DBLP DOI BibTeX RDF
14	Gennady E. Veselov, Andrey A. Sklyarov, Sergey A. Sklyarov	Synergetic approach to quadrotor helicopter control with attractor-repeller strategy of nondeterministic obstacles avoidance.	ICUMT	2014	DBLP DOI BibTeX RDF
14	Piotr Paszek, Barbara Marszal-Paszek	Nondeterministic Decision Rules in Rule-Based Classifier.	BDAS	2014	DBLP DOI BibTeX RDF
14	Ali Khalili, Armando Tacchella	Learning Nondeterministic Mealy Machines.	ICGI	2014	DBLP BibTeX RDF
14	Melanie Schuh, Jan Lunze	Feedback control of nondeterministic input/output automata.	CDC	2014	DBLP DOI BibTeX RDF
14	David Sears 0001, Karen Rudie	On computing indistinguishable states of nondeterministic finite automata with partially observable transitions.	CDC	2014	DBLP DOI BibTeX RDF
14	Ji-Hyeon Yoon, Hae Young Lee	Nondeterministic and elapsed-time-sensitive DEVS.	SpringSim (Posters)	2014	DBLP BibTeX RDF
14	Viliam Geffert, Alexander Okhotin	Transforming Two-Way Alternating Finite Automata to One-Way Nondeterministic Automata.	MFCS (1)	2014	DBLP DOI BibTeX RDF
14	Yamilet R. Serrano Llerena	Dealing with uncertainty in verification of nondeterministic systems.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
14	Tomoyuki Yamakami	Structural complexity of multi-valued partial functions computed by nondeterministic pushdown automata.	ICTCS	2014	DBLP BibTeX RDF
14	Edirlei Soares de Lima, Bruno Feijó, António L. Furtado 0001	Hierarchical generation of dynamic and nondeterministic quests in games.	Advances in Computer Entertainment	2014	DBLP DOI BibTeX RDF
14	Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser	Exact and approximate probabilistic symbolic execution for nondeterministic programs.	ASE	2014	DBLP DOI BibTeX RDF
14	Jirí Wiedermann	Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm.	IFIP TCS	2014	DBLP DOI BibTeX RDF
14	Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña	Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments.	ICAPS	2014	DBLP BibTeX RDF
14	Tomoyuki Yamakami	Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages.	SOFSEM	2014	DBLP DOI BibTeX RDF
14	Kayleigh Hyde, Bjørn Kjos-Hanssen	Nondeterministic Automatic Complexity of Almost Square-Free and Strongly Cube-Free Words.	COCOON	2014	DBLP DOI BibTeX RDF
14	Igor Razgon	No Small Nondeterministic Read-Once Branching Programs for CNFs of Bounded Treewidth.	IPEC	2014	DBLP DOI BibTeX RDF
14	Alexandros Palioudakis	State Complexity of Nondeterministic Finite Automata with Limited Nondeterminism.		2014	RDF
14	Zdenek Sawa	Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
14	Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko 0001	Distinguishing Experiments for Timed Nondeterministic Finite State Machines.	Acta Cybern.	2013	DBLP DOI BibTeX RDF
14	Mike Stay, Jamie Vicary	Bicategorical Semantics for Nondeterministic Computation.	MFPS	2013	DBLP DOI BibTeX RDF
14	Hiroshi Sakai, Mao Wu, Michinori Nakata	Division Charts as Granules and Their Merging Algorithm for Rule Generation in Nondeterministic Data.	Int. J. Intell. Syst.	2013	DBLP DOI BibTeX RDF
14	Dominique Larchey-Wendling, Didier Galmiche	Nondeterministic Phase Semantics and the Undecidability of Boolean BI.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
14	Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu	Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System.	J. Comput. Sci. Technol.	2013	DBLP DOI BibTeX RDF
14	François Le Gall	Quantum weakly nondeterministic communication complexity.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
14	Xiaoming Sun 0001, Marcos Villagra	Exponential Quantum-Classical Gaps in Multiparty Nondeterministic Communication Complexity.	Electron. Colloquium Comput. Complex.	2013	DBLP BibTeX RDF
14	Jian-Ming Zhou	Computability vs. Nondeterministic and P vs. NP	CoRR	2013	DBLP BibTeX RDF
14	Carlos Sarraute, Gerardo Richarte, Jorge Lucángeli Obes	An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios.	CoRR	2013	DBLP BibTeX RDF
14	Christian Herrmann 0003, Johanna Sokoli, Martin Ziegler 0001	Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines.	MCU	2013	DBLP DOI BibTeX RDF
14	Thomas Hanneforth, Andreas Maletti, Daniel Quernheim	Random Generation of Nondeterministic Finite-State Tree Automata.	TTATT	2013	DBLP DOI BibTeX RDF
14		Exponential Quantum-Classical Gaps in Multiparty Nondeterministic Communication Complexity.	CoRR	2013	DBLP BibTeX RDF
14	Janusz A. Brzozowski, Hellis Tamm	Minimal Nondeterministic Finite Automata and Atoms of Regular Languages	CoRR	2013	DBLP BibTeX RDF
14	Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang	Coverage Games for Testing Nondeterministic Systems.	CoRR	2013	DBLP BibTeX RDF
14	Mike Stay, Jamie Vicary	Bicategorical Semantics for Nondeterministic Computation	CoRR	2013	DBLP BibTeX RDF
14	Tomoyuki Yamakami	Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages	CoRR	2013	DBLP BibTeX RDF
14	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.	QAPL	2013	DBLP DOI BibTeX RDF
14	Che-Sheng Lin, Gwan-Hwan Hwang	State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
14	Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki	Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
14	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
14	Barbara Marszal-Paszek, Piotr Paszek	Classifiers Based on Nondeterministic Decision Rules.	Rough Sets and Intelligent Systems (2)	2013	DBLP DOI BibTeX RDF
14	Louwe B. Kuijer	Sequent Systems for Nondeterministic Propositional Logics without Reflexivity.	LORI	2013	DBLP DOI BibTeX RDF
14	Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta	Temporal logic control for an autonomous quadrotor in a nondeterministic environment.	ICRA	2013	DBLP DOI BibTeX RDF
14	Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko 0001	Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.	ICTSS	2013	DBLP DOI BibTeX RDF
14	Manuela Ortlieb, Robert Mattmüller	Pattern-Database Heuristics for Partially Observable Nondeterministic Planning.	KI	2013	DBLP DOI BibTeX RDF
14	Gianfranco Rossi, Federico Bergenti	Nondeterministic Programming in Java with JSetL.	CILC	2013	DBLP BibTeX RDF
14	Andrew Drucker	Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers.	FOCS	2013	DBLP DOI BibTeX RDF
14	Markus Holzer 0001, Sebastian Jakobi	Nondeterministic Biautomata and Their Descriptional Complexity.	DCFS	2013	DBLP DOI BibTeX RDF
14	Daniel Goc, Alexandros Palioudakis, Kai Salomaa	Nondeterministic State Complexity of Proportional Removals.	DCFS	2013	DBLP DOI BibTeX RDF
14	Robert S. R. Myers, Henning Urbat	A Characterisation of NL/poly via Nondeterministic Finite Automata.	DCFS	2013	DBLP DOI BibTeX RDF
14	Jasen Markovski, Rong Su 0001	Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems.	CDC	2013	DBLP DOI BibTeX RDF
14	Natalia Kushik, Nina Yevtushenko 0001	On the Length of Homing Sequences for Nondeterministic Finite State Machines.	CIAA	2013	DBLP DOI BibTeX RDF
14	Viliam Geffert, Zuzana Bednárová, Carlo Mereghetti, Beatrice Palano	Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height.	CSR	2013	DBLP DOI BibTeX RDF
14	Alexandra Coman, Héctor Muñoz-Avila	Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques.	AIIDE	2013	DBLP BibTeX RDF
14	Paulo Abelha, Vinicius M. Gottin, Angelo E. M. Ciarlini, Eric T. Araujo, António L. Furtado 0001, Bruno Feijó, Fabio A. Guilherme da Silva, Cesar Tadeu Pozzer	A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling.	AIIDE	2013	DBLP BibTeX RDF
14	Chien-Hsiang Lee, San-Yih Hwang, I-Ling Yen	Service Composition with Functional Flexibility Using Nondeterministic Service Interface.	ICEBE	2013	DBLP DOI BibTeX RDF
14	Jasen Markovski	Controllability for Nondeterministic Finite Automata with Variables.	ICSOFT	2013	DBLP DOI BibTeX RDF
14	Jasen Markovski	Controllability for Nondeterministic Discrete-Event Systems with Data.	ICSOFT (Selected Papers)	2013	DBLP DOI BibTeX RDF
14	Parimala Alva, Giseli de Sousa, Ben Torben-Nielsen, Reinoud Maex, Rod Adams, Neil Davey, Volker Steuber	Evolution of Dendritic Morphologies Using Deterministic and Nondeterministic Genotype to Phenotype Mapping.	ICANN	2013	DBLP DOI BibTeX RDF
14	James P. Delgrande, Hector J. Levesque	A Formal Account of Nondeterministic and Failed Actions.	IJCAI	2013	DBLP BibTeX RDF
14	Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski	A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
14	Robert Mattmüller	Informed progression search for fully observable nondeterministic planning = Informierte Vorwärtssuche für nichtdeterministisches Planen unter vollständiger Beobachtbarkeit.		2013	RDF