×

Found 3,185 Documents (Results 401–500)

Poster abstract: Relational differential dynamic logic. (English) Zbl 07120175

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 284-285 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster on safety characterization in hybrid inclusions using barrier functions. (English) Zbl 07120174

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 282-283 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Safety control with preview automaton. (English) Zbl 07120173

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 280-281 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems. (English) Zbl 07120172

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 278-279 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Equalized recovery: weakening invariance for control and estimation. (English) Zbl 07120171

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 276-277 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Encrypted control system with quantizer. (English) Zbl 07120170

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 274-275 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Structured reward functions using STL. (English) Zbl 07120168

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 270-271 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Invariant, viability and discriminating kernel under-approximation via zonotope scaling. (English) Zbl 07120167

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 268-269 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 266-267 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Demo abstract: SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120165

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 264-265 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Demo abstract: Sherlock – a tool for verification of neural network feedback systems. (English) Zbl 07120164

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 262-263 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 260-261 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: StocHy – automated verification and synthesis of stochastic processes. (English) Zbl 07120162

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 258-259 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. (English) Zbl 07120160

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 240-251 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mixed-integer formulations for optimal control of piecewise-affine systems. (English) Zbl 07120159

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 230-239 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

TIRA: toolbox for interval reachability analysis. (English) Zbl 07120158

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 224-229 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Evrostos. The rLTL verifier. (English) Zbl 07120157

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 218-223 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Verification and synthesis of interconnected embedded control systems under timing contracts. (English) Zbl 07120156

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 208-217 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Formal verification of weakly-hard systems. (English) Zbl 07120155

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 197-207 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. (English) Zbl 07120154

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 185-196 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Gray-box adversarial testing for control systems with machine learning components. (English) Zbl 07120153

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 179-184 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verisig: verifying safety properties of hybrid systems with neural network controllers. (English) Zbl 07120152

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 169-178 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis for neural feedback systems using regressive polynomial rule inference. (English) Zbl 07120151

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 157-168 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Formal verification of neural network controlled autonomous systems. (English) Zbl 07120150

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 147-156 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A complete characterization of the ordering of path-complete methods. (English) Zbl 07120149

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 138-146 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Robust invariant sets generation for state-constrained perturbed polynomial systems. (English) Zbl 07120148

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 128-137 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

On topological entropy and stability of switched linear systems. (English) Zbl 07120147

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 119-127 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Characterizations of safety in hybrid inclusions via barrier functions. (English) Zbl 07120146

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 109-118 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. (English) Zbl 07120145

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 99-108 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

On the decidability of linear bounded periodic cyber-physical systems. (English) Zbl 07120144

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 87-98 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

On the decidability of reachability in linear time-invariant systems. (English) Zbl 07120143

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 77-86 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Revisiting timed logics with automata modalities. (English) Zbl 07120142

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 67-76 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Interface-aware signal temporal logic. (English) Zbl 07120141

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 57-66 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Temporal logic robustness for general signal classes. (English) Zbl 07120140

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 45-56 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI Link

JuliaReach: a toolbox for set-based reachability. (English) Zbl 07120139

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 39-44 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120138

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 33-38 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Numerical verification of affine systems with up to a billion dimensions. (English) Zbl 07120137

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 23-32 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Inner and outer reachability for the verification of control systems. (English) Zbl 07120136

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 11-22 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Falsification of hybrid systems using symbolic reachability and trajectory splicing. (English) Zbl 07120135

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 1-10 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. (English) Zbl 1524.03030

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11436, 684-705 (2019).
MSC:  03D05 03B44 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. (English) Zbl 1411.93004

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). xi, 299 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

A novel approach to verifying context free properties of programs. (English) Zbl 1522.68353

Tang, Shaojie (ed.) et al., Algorithmic aspects in information and management. 12th international conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11343, 74-87 (2018).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Timed scenarios: consistency, equivalence and optimization. (English) Zbl 1519.68139

Massoni, Tiago (ed.) et al., Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11254, 215-233 (2018).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

TeSSLa: temporal stream-based specification language. (English) Zbl 1519.68130

Massoni, Tiago (ed.) et al., Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11254, 144-162 (2018).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

HAT: analyzing linear hybrid automata as labelled transition system. (English) Zbl 1518.68163

Jones, Cliff (ed.) et al., Symposium on real-time and hybrid systems. Essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11180, 85-104 (2018).
MSC:  68Q45 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Bounded synthesis of register transducers. (English) Zbl 1517.68244

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 494-510 (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A fragment of linear temporal logic for universal very weak automata. (English) Zbl 1517.68219

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 335-351 (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Verifying probabilistic timed automata against omega-regular dense-time properties. (English) Zbl 1514.68132

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 122-139 (2018).
MSC:  68Q60 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Branching temporal logic of calls and returns for pushdown systems. (English) Zbl 1514.68035

Furia, Carlo A. (ed.) et al., Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11023, 326-345 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying properties of differentiable programs. (English) Zbl 1511.68078

Podelski, Andreas (ed.), Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11002, 205-222 (2018).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Monitoring CTMCs by multi-clock timed automata. (English) Zbl 1511.68152

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 507-526 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Space-time interpolants. (English) Zbl 1511.68155

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 468-486 (2018).
MSC:  68Q60 68Q45 93B03
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of asynchronous reactive programs from temporal specifications. (English) Zbl 1511.68068

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 367-385 (2018).
MSC:  68N30 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Lazy reachability checking for timed automata with discrete variables. (English) Zbl 1508.68225

del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 235-254 (2018).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Control strategies for off-line testing of timed systems. (English) Zbl 1508.68221

del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 171-189 (2018).
MSC:  68Q60 68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability for two-counter machines with one test and one reset. (English) Zbl 1528.68219

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 31, 14 p. (2018).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Uniformly automatic classes of finite structures. (English) Zbl 1528.68146

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 10, 21 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

The Cayley-graph of the queue monoid: logic and decidability. (English) Zbl 1528.68089

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Verification of timed asynchronous programs. (English) Zbl 1528.68075

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Finite bisimulations for dynamical systems with overlapping trajectories. (English) Zbl 1528.68175

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Quantifying bounds in strategy logic. (English) Zbl 1528.68218

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 23, 23 p. (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A symbolic decision procedure for symbolic alternating finite automata. (English) Zbl 1525.68068

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 79-99 (2018).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Timed context-free temporal logics. (English) Zbl 1528.68212

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 235-249 (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Temporal logic and model checking for operator precedence languages. (English) Zbl 1528.68215

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 161-175 (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Progress-preserving refinements of CTA. (English) Zbl 1520.68087

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 40, 19 p. (2018).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Relating syntactic and semantic perturbations of hybrid automata. (English) Zbl 1520.68066

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 26, 16 p. (2018).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Reachability in parameterized systems: all flavors of threshold automata. (English) Zbl 1520.68062

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 19, 17 p. (2018).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Verifying quantitative temporal properties of procedural programs. (English) Zbl 1520.68026

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 15, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Verifying arithmetic assembly programs in cryptographic primitives (invited talk). (English) Zbl 1520.68078

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 4, 16 p. (2018).
MSC:  68Q60 11T71 94A60
PDFBibTeX XMLCite
Full Text: DOI

Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of transducer synthesis from multi-sequential specifications. (English) Zbl 1512.68138

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 46, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimal strategies in pushdown reachability games. (English) Zbl 1512.68150

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 42, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Polynomial vector addition systems with states. (English) Zbl 1499.68229

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 134, 13 p. (2018).
MSC:  68Q85 68Q25 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software