Search results for "nondeterministic"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Michal Hospodár, Peter Mlynárcik, Viktor Olejár	Operations on Subregular Languages and Nondeterministic State Complexity.	DCFS	2022	DBLP DOI BibTeX RDF
14	Yijian Liu, Li Su 0005, Vivek Shah 0001, Yongluan Zhou, Marcos Antonio Vaz Salles	Hybrid Deterministic and Nondeterministic Execution of Transactions in Actor Systems.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
14	Matthew M. Ziegler, Lakshmi N. Reddy, Robert L. Franch	Design Flow Parameter Optimization with Multi-Phase Positive Nondeterministic Tuning.	ISPD	2022	DBLP DOI BibTeX RDF
14	Oliver A. S. Lyon, Kai Salomaa	Nondeterministic State Complexity of Site-Directed Deletion.	CIAA	2022	DBLP DOI BibTeX RDF
14	Fangping Zhou, Chao Yang	General-Nondeterministic Fuzzy Pushdown Automata and Their Languages.	NCTCS	2022	DBLP DOI BibTeX RDF
14	Daniel Ajedamola Ajeleye, Tommaso Masciulli, Giordano Pola	Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications.	MED	2022	DBLP DOI BibTeX RDF
14	Michal Konecný, Sewon Park 0001, Holger Thies	Certified Computation of Nondeterministic Limits.	NFM	2022	DBLP DOI BibTeX RDF
14	Tomoyuki Yamakami	Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata.	RP	2022	DBLP DOI BibTeX RDF
14	Jens Claßen, James P. Delgrande	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.	KR	2022	DBLP BibTeX RDF
14	Udi Boker	Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk).	CSL	2022	DBLP DOI BibTeX RDF
14	Ludmila Glinskih, Artur Riazanov	MCSP is Hard for Read-Once Nondeterministic Branching Programs.	LATIN	2022	DBLP DOI BibTeX RDF
14	Marshall Ball, Dana Dachman-Soled, Julian Loss	(Nondeterministic) Hardness vs. Non-malleability.	CRYPTO (1)	2022	DBLP DOI BibTeX RDF
14	Tomoyuki Yamakami	Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-In Cascading Circuits - (Extended Abstract).	COCOON	2022	DBLP DOI BibTeX RDF
14	Brian DuSell, David Chiang 0001	Learning Hierarchical Structures with Differentiable Nondeterministic Stacks.	ICLR	2022	DBLP BibTeX RDF
14	Sergej Scheck	Knowledge compilation for nondeterministic action languages. (Compilation de connaissances pour les langages d'actions non déterministes).		2022	RDF
14	Robbert Gurdeep Singh	Taming nondeterminism: programming language abstractions and tools for dealing with nondeterministic programs.		2022	RDF
14	Tomasz Jastrzab, Zbigniew J. Czech, Wojciech Wieczorek	Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
14	Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang	Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.	New Gener. Comput.	2021	DBLP DOI BibTeX RDF
14	Thilagavathi N., Lakshmi K.	Verification of Composed Web Service Using Synthesized Nondeterministic Turing Model (SNTMM) With Multiple Tapes and Stacks.	Int. J. Web Serv. Res.	2021	DBLP DOI BibTeX RDF
14	Toniann Pitassi, Morgan Shirley, Thomas Watson 0001	Nondeterministic and Randomized Boolean Hierarchies in Communication Complexity.	Comput. Complex.	2021	DBLP DOI BibTeX RDF
14	Kohei Shimatani, Shigemasa Takai	Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP BibTeX RDF
14	Masashi Mizoguchi, Toshimitsu Ushio	Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Haihui Wang, Luyao Zhao, Ping Li 0015	Nondeterministic finite automata based on quantum logic: Language equivalence relation and robustness.	Int. J. Approx. Reason.	2021	DBLP DOI BibTeX RDF
14	Renato Markele Ferreira Cândido, Laurent Hardouin, Mehdi Lhommeau, Rafael Santos-Mendes	An Algorithm to Compute the Inverse Image of a Point With Respect to a Nondeterministic Max-Plus Linear System.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
14	Jie An 0001, Bohua Zhan, Naijun Zhan, Miaomiao Zhang	Learning Nondeterministic Real-Time Automata.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
14	Martin Kolár	On formally undecidable propositions in nondeterministic languages.	CoRR	2021	DBLP BibTeX RDF
14	Brian DuSell, David Chiang 0001	Learning Hierarchical Structures with Differentiable Nondeterministic Stacks.	CoRR	2021	DBLP BibTeX RDF
14	Tianrong Lin	Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine.	CoRR	2021	DBLP BibTeX RDF
14	Robert S. R. Myers, Stefan Milius, Henning Urbat	Nondeterministic Syntactic Complexity.	CoRR	2021	DBLP BibTeX RDF
14	Robert Samuel Ralph Myers, Henning Urbat	Syntactic Minimization of Nondeterministic Finite Automata.	CoRR	2021	DBLP BibTeX RDF
14	Wei Liao, Taotao Liang, Xiaohui Wei, Qiaozhi Yin	Probabilistic Reach-Avoid Reachability in Nondeterministic Systems with Time-VaryingTargets and Obstacles.	CoRR	2021	DBLP BibTeX RDF
14	Hans L. Bodlaender, Carla Groenland, Jesper Nederlof, Céline M. F. Swennenhuis	Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space.	CoRR	2021	DBLP BibTeX RDF
14	Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Prusa	Converting Nondeterministic Two-Way Automata into Small Deterministic Linear-Time Machines.	CoRR	2021	DBLP BibTeX RDF
14	Bilal Elghadyry, Faissal Ouardi, Zineb Lotfi, Sébastien Vérel	Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce.	J. Big Data	2021	DBLP DOI BibTeX RDF
14	Ignacio Abadia, Francisco Naveros 0001, Eduardo Ros 0001, Richard R. Carrillo, Niceto R. Luque	A cerebellar-based solution to the nondeterministic time delay problem in robotic control.	Sci. Robotics	2021	DBLP DOI BibTeX RDF
14	Benedek Nagy	Union-Freeness Revisited - Between Deterministic and Nondeterministic Union-Free Languages.	Int. J. Found. Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Fan Wang, Kris Hauser	Robot Packing With Known Items and Nondeterministic Arrival Order.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF
14	Lei Zhou, Shaolong Shu, Feng Lin 0001	Detectability of Discrete-Event Systems Under Nondeterministic Observations.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF
14	Sang-Ki Ko, Reino Niskanen, Igor Potapov	Reachability problems in low-dimensional nondeterministic polynomial maps over integers.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
14	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	ACM Trans. Database Syst.	2021	DBLP DOI BibTeX RDF
14	Angelo Borsotti, Ulya Trofimovich	Efficient POSIX submatch extraction on nondeterministic finite automata.	Softw. Pract. Exp.	2021	DBLP DOI BibTeX RDF
14	Lingyun Zhong, Shitong Duan, Yingjue Chen, Feng Lin	A Stay-Point-Based Charger Placement Scheme for Nondeterministic Mobile Nodes.	WASA (1)	2021	DBLP DOI BibTeX RDF
14	Elisabet Burjons, Fabian Frei, Martin Raszyk	From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata.	LICS	2021	DBLP DOI BibTeX RDF
14	Hans L. Bodlaender, Carla Groenland, Jesper Nederlof, Céline M. F. Swennenhuis	Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space.	FOCS	2021	DBLP DOI BibTeX RDF
14	Robert S. R. Myers, Stefan Milius, Henning Urbat	Nondeterministic Syntactic Complexity.	FoSSaCS	2021	DBLP DOI BibTeX RDF
14	Robert S. R. Myers, Henning Urbat	Syntactic Minimization Of Nondeterministic Finite Automata.	MFCS	2021	DBLP DOI BibTeX RDF
14	Guanping Xiao, Jun Liu, Zheng Zheng 0001, Yulei Sui	Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems.	ISSRE	2021	DBLP DOI BibTeX RDF
14	Sondre Ninive Andersen, Asbjørn Engmark Espe, Sverre Hendseth, Geir Mathisen	Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP.	MECO	2021	DBLP DOI BibTeX RDF
14	Jens Claßen, James P. Delgrande	An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors.	KR	2021	DBLP DOI BibTeX RDF
14	Giuseppe De Giacomo, Yves Lespérance	The Nondeterministic Situation Calculus.	KR	2021	DBLP DOI BibTeX RDF
14	Ján Pich, Rahul Santhanam	Strong co-nondeterministic lower bounds for NP cannot be proved feasibly.	STOC	2021	DBLP DOI BibTeX RDF
14	Paul C. Hershey	System of Systems Engineering Approach for Complex Deterministic and Nondeterministic Systems (ACDANS).	SOSE	2021	DBLP DOI BibTeX RDF
14	Koko Muroya, Takahiro Sanada, Natsuki Urabe	Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).	CALCO	2021	DBLP DOI BibTeX RDF
14	Dillon Ze Chen, Pascal Bercher	Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results.	ICAPS	2021	DBLP BibTeX RDF
14	Sergej Scheck, Alexandre Niveau, Bruno Zanuttini	Knowledge Compilation for Nondeterministic Action Languages.	ICAPS	2021	DBLP BibTeX RDF
14	Aaron Potechin, Jeffrey O. Shallit	Lengths of words accepted by nondeterministic finite automata.	Inf. Process. Lett.	2020	DBLP DOI BibTeX RDF
14	Xuewen Dong, Zhichao You, Liangmin Wang 0001, Sheng Gao 0002, Yulong Shen, Jianfeng Ma 0001	A Truthful Online Incentive Mechanism for Nondeterministic Spectrum Allocation.	IEEE Trans. Wirel. Commun.	2020	DBLP DOI BibTeX RDF
14	Jianrong Wang, Xinlei Feng, Tianyi Xu, Huansheng Ning, Tie Qiu 0001	Blockchain-Based Model for Nondeterministic Crowdsensing Strategy With Vehicular Team Cooperation.	IEEE Internet Things J.	2020	DBLP DOI BibTeX RDF
14	Zhipeng Zhang, Chengyi Xia, Zengqiang Chen 0001	On the stabilization of nondeterministic finite automata via static output feedback.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
14	Tsunehiro Yoshinaga, Makoto Sakamoto	Non-Closure Properties of Multi-Inkdot Nondeterministic Turing Machines with Sublogarithmic Space.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
14	Diptiranjan Behera, Snehashish Chakraverty	Solving the nondeterministic static governing equations of structures subjected to various forces under fuzzy and interval uncertainty.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
14	Benny Kimelfeld	Technical Perspective: Constant-Delay Enumeration for Nondeterministic Document Spanners.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
14	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
14	Dipankar Maity, John S. Baras	Optimal Event-Triggered Control of Nondeterministic Linear Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
14	Hikmat Farhat	Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
14	Mohammad Hadi Zibaeenejad, Jun Liu 0015	Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
14	Valentina Castiglioni, Michele Loreti, Simone Tini	The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
14	Igor B. Burdonov, Nina Yevtushenko 0001, Alexander S. Kossatchev	Separating Input/Output Automata With Nondeterministic Behavior.	Russ. Digit. Libr. J.	2020	DBLP BibTeX RDF
14	Yang Yang 0026, Robert H. Deng, Ximeng Liu, Yongdong Wu, Jian Weng 0001, Xianghan Zheng, Chunming Rong	Privacy-preserving Medical Treatment System through Nondeterministic Finite Automata.	CoRR	2020	DBLP BibTeX RDF
14	Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi	VC-dimensions of nondeterministic finite automata for words of equal length.	CoRR	2020	DBLP BibTeX RDF
14	Amar Isli	Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter.	CoRR	2020	DBLP BibTeX RDF
14	Aleksander Mendoza-Drosik	Nondeterministic functional transducer inference algorithm.	CoRR	2020	DBLP BibTeX RDF
14	Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet	Mixed Nondeterministic-Probabilistic Interfaces.	CoRR	2020	DBLP BibTeX RDF
14	Jobst Heitzig, Forest W. Simmons	Efficient democratic decisions via nondeterministic proportional consensus.	CoRR	2020	DBLP BibTeX RDF
14	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	CoRR	2020	DBLP BibTeX RDF
14	Elisabet Burjons, Fabian Frei, Martin Raszyk	From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata.	CoRR	2020	DBLP BibTeX RDF
14	Robert Samuel Ralph Myers	Nondeterministic Automata and JSL-dfas.	CoRR	2020	DBLP BibTeX RDF
14	Brian DuSell, David Chiang 0001	Learning Context-Free Languages with Nondeterministic Stack RNNs.	CoRR	2020	DBLP BibTeX RDF
14	Pietro Di Lena	Topological dynamics of Nondeterministic Cellular Automata.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
14	Cody D. Murray, R. Ryan Williams	Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma.	SIAM J. Comput.	2020	DBLP DOI BibTeX RDF
14	Yongzhi Cao, Yoshinori Ezawa, Guoqing Chen, Haiyu Pan	Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.	Decision Making under Constraints	2020	DBLP DOI BibTeX RDF
14	Tomasz Jastrzab, Zbigniew J. Czech, Wojciech Wieczorek	Generating Minimal Nondeterministic Finite Automata Using a Parallel Algorithm.	ISPDC	2020	DBLP DOI BibTeX RDF
14	Liping Liu, Yuan-Hua Ni	Event-Triggered Control of Discrete-time Nondeterministic Linear Systems.	ICCA	2020	DBLP DOI BibTeX RDF
14	Lei Zhou, Shaolong Shu, Hao Fang 0001	Verifying O-observability for Discrete Event Systems under Nondeterministic Observations.	ICCA	2020	DBLP DOI BibTeX RDF
14	Guoying Zhang, Fen Hou, Lin Gao 0001, Guanghua Yang, Lin X. Cai	Nondeterministic Mobility based Incentive Mechanism for Efficient Data Collection in Crowdsensing.	VTC Fall	2020	DBLP DOI BibTeX RDF
14	Toniann Pitassi, Morgan Shirley, Thomas Watson 0001	Nondeterministic and Randomized Boolean Hierarchies in Communication Complexity.	ICALP	2020	DBLP DOI BibTeX RDF
14	Jinglun Li, Shigemasa Takai	Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems.	CDC	2020	DBLP DOI BibTeX RDF
14	Fan Li, Yuchuan Fu, Pincan Zhao, Changle Li	An Incentive Mechanism for Nondeterministic Vehicular Crowdsensing with Blockchain.	ICCC	2020	DBLP DOI BibTeX RDF
14	Brian DuSell, David Chiang 0001	Learning Context-free Languages with Nondeterministic Stack RNNs.	CoNLL	2020	DBLP DOI BibTeX RDF
14	Giuseppe De Giacomo, Bastien Maubert, Aniello Murano	Nondeterministic Strategies and their Refinement in Strategy Logic.	KR	2020	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano	Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power.	CiE	2020	DBLP DOI BibTeX RDF
14	Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin	Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.	ICAPS	2020	DBLP BibTeX RDF
14	Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi	VC-dimensions of nondeterministic finite automata for words of equal length.	ISAIM	2020	DBLP BibTeX RDF
14	Jose Guerra, Diego Vallejo-Huanga, Nathaly Jaramillo, Richard Macas, Daniel Díaz	Nondeterministic Finite Automata for Modeling an Ecuadorian Sign Language Interpreter.	AHFE (13)	2020	DBLP DOI BibTeX RDF
14	Mandakini Kadam, Saroja V. Siddamal, Shripadraj Annigeri	Design and Implementation of chaotic nondeterministic random seed-based Hybrid True Random Number Generator.	VDAT	2020	DBLP DOI BibTeX RDF
14	William John Gowers	The crossroads of categorical algebra and game semantics: an investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages.		2020	RDF
14	Adrian Satja Kurdija	A probabilistic quality of service model for nondeterministic service compositions. ; Vjerojatnosni model kvalitete usluge za nedeterminističke kompozicije usluga.		2020	RDF
14	Shuai Wang 0011, Chengyu Zhang 0001, Zhendong Su 0001	Detecting nondeterministic payment bugs in Ethereum smart contracts.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
14	Jinglun Li, Shigemasa Takai	Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Yiding Ji, Xiang Yin 0003, Stéphane Lafortune	Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF