×

Found 9,241 Documents (Results 1–100)

A formal approach for tuning stochastic oscillators. (English) Zbl 07810880

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 1-17 (2023).
MSC:  92B25 92C42 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Parameterized complexity of propositional inclusion and independence logic. (English) Zbl 07810570

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 274-291 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Demo abstract: Analysing CPS security with falsification on the Microsoft flight simulator. (English) Zbl 07807971

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Permissiveness for strategy adaptation. (English) Zbl 07807970

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: A toolchain for accelerated symbolic control. (English) Zbl 07807969

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Towards seamless reactivity of hybrid control. (English) Zbl 07807968

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster: Convex scenario optimisation for ReLU networks. (English) Zbl 07807967

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Sampling-based approach to robust STL synthesis for complex systems under uncertainty. (English) Zbl 07807966

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Safety guaranteed preference learning approach for autonomous vehicles. (English) Zbl 07807965

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Reachability and controlled invariance for human stability during sit-to-stand. (English) Zbl 07807964

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Data-driven correct-by-design control of parametric stochastic systems. (English) Zbl 07807963

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Stability analysis of planar probabilistic piecewise constant derivative systems. (English) Zbl 07807962

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Quantitative robustness analysis of sensor attacks on cyber-physical systems. (English) Zbl 07807961

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Bern-NN: tight bound propagation for neural networks using Bernstein polynomial interval arithmetic. (English) Zbl 07807960

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatic abstraction refinement in neural network verification using sensitivity analysis. (English) Zbl 07807959

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes. (English) Zbl 07807958

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Wordgen: a timed word generation tool. (English) Zbl 07807957

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 7 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Stealthy attacks formalized as STL formulas for falsification of CPS security. (English) Zbl 07807956

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 8 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Pattern matching and parameter identification for parametric timed regular expressions. (English) Zbl 07807955

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Interval Markov decision processes with continuous action-spaces. (English) Zbl 07807953

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributionally robust strategy synthesis for switched stochastic systems. (English) Zbl 07807952

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Continuity of thresholded mode-switched ODEs and digital circuit delay models. (English) Zbl 07807951

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lazy synthesis of symbolic output-feedback controllers for state-based safety specifications. (English) Zbl 07807950

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Characterization of the ordering of path-complete stability certificates with addition-closed templates. (English) Zbl 07807949

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Safe self-triggered control based on precomputed reachability sequences. (English) Zbl 07807948

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Fully-automated verification of linear systems using reachability analysis with support functions. (English) Zbl 07807946

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Quantitative verification for neural networks using probstars. (English) Zbl 07807945

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

An STL-based approach to resilient control for cyber-physical systems. (English) Zbl 07807943

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Conformal quantitative predictive monitoring of STL requirements for stochastic processes. (English) Zbl 07807942

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model and program repair via group actions. (English) Zbl 07770353

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 520-540 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Justifications and a reconstruction of parity game solving algorithms. (English) Zbl 07729476

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 170-187 (2023).
MSC:  68Q60 91A43 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

The role of abstraction in model checking. (English) Zbl 07729475

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 151-169 (2023).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI

The octatope abstract domain for verification of neural networks. (English) Zbl 07728857

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 454-472 (2023).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Minimisation of spatial models using branching bisimilarity. (English) Zbl 07728847

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 263-281 (2023).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

QMaude: quantitative specification and verification in rewriting logic. (English) Zbl 07728846

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 240-259 (2023).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

PFL: a probabilistic logic for fault trees. (English) Zbl 07728844

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 199-221 (2023).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

symQV: automated symbolic verification of quantum programs. (English) Zbl 07728843

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 181-198 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Can we communicate? Using dynamic logic to verify team automata. (English) Zbl 07728840

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 122-141 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Efficient SMT-based network fault tolerance verification. (English) Zbl 07728838

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 92-100 (2023).
MSC:  68Q60 68M15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Solving constrained Horn clauses over algebraic data types. (English) Zbl 07728627

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).
MSC:  68Q60 03B70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Synthesizing history and prophecy variables for symbolic model checking. (English) Zbl 07728626

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 320-340 (2023).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Result invalidation for incremental modular analyses. (English) Zbl 07728625

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 296-319 (2023).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Efficient interprocedural data-flow analysis using treedepth and treewidth. (English) Zbl 07728620

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 177-202 (2023).
MSC:  68Q60 68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI

A pragmatic approach to stateful partial order reduction. (English) Zbl 07728618

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 129-154 (2023).
MSC:  68Q60 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 07728613

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023).
MSC:  68Q60 68Q07 92B20
PDFBibTeX XMLCite
Full Text: DOI

Learning through imitation by using formal verification. (English) Zbl 1528.68347

Gąsieniec, Leszek (ed.), SOFSEM 2023: theory and practice of computer science. 48th international conference on current trends in theory and practice of computer science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13878, 342-355 (2023).
MSC:  68T05 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Parameterized verification under release acquire is PSPACE-complete. (English) Zbl 07824301

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 482-492 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: Holistic verification of blockchain consensus. (English) Zbl 07824294

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 424-426 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

What can be certified compactly? Compact local certification of MSO properties in tree-like graphs. (English) Zbl 07824258

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 131-140 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Optimality and asymptotic stability in two-player zero-sum hybrid games. (English) Zbl 07807738

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Learning from demonstrations with temporal logics. (English) Zbl 07807737

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Decoding output sequences for discrete-time linear hybrid systems. (English) Zbl 07807736

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Data-driven estimation of collision risks for autonomous vehicles with formal guarantees. (English) Zbl 07807735

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Model-free reinforcement learning for symbolic automata-encoded objectives. (English) Zbl 07807734

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations. (English) Zbl 07807733

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

BOCoSy: small but powerful symbolic output-feedback control. (English) Zbl 07807732

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Fast BATLLNN: fast box analysis of two-level lattice neural networks. (English) Zbl 07807731

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of machine learning based cyber-physical systems: a comparative study. (English) Zbl 07807730

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 16 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

SOCKS: a stochastic optimal control and reachability toolbox using kernel methods. (English) Zbl 07807729

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 12 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

ETCetera: beyond event-triggered control. (English) Zbl 07807728

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

ABS: a formally correct software tool for space-efficient symbolic synthesis. (English) Zbl 07807727

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Sufficient conditions for optimality and asymptotic stability in two-player zero-sum hybrid games. (English) Zbl 07807726

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A multiresolution analysis of temporal logic. (English) Zbl 07807725

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Mortality and edge-to-edge reachability are decidable on surfaces. (English) Zbl 07807724

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Distributed hybrid gradient algorithm with application to cooperative adaptive estimation. (English) Zbl 07807723

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Necessary and sufficient conditions for template-dependent ordering of path-complete Lyapunov methods. (English) Zbl 07807722

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Stability of discrete-time switched linear systems with \(\omega\)-regular switching sequences. (English) Zbl 07807721

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

k-inductive barrier certificates for stochastic systems. (English) Zbl 07807720

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications. (English) Zbl 07807719

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Temporal robustness of stochastic signals. (English) Zbl 07807718

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Successive convexification for optimal control with signal temporal logic specifications. (English) Zbl 07807717

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Correct-by-construction exploration and exploitation for unknown linear systems using bilinear optimization. (English) Zbl 07807716

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A simpler alternative: minimizing transition systems modulo alternating simulation equivalence. (English) Zbl 07807715

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decoding output sequences for discrete-time linear hybrid systems. (English) Zbl 07807714

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Linear time monitoring for one variable TPTL. (English) Zbl 07807713

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Multi-requirement testing using focused falsification. (English) Zbl 07807712

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Verifying neural network controlled systems using neural networks. (English) Zbl 07807711

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Verifying switched system stability with logic. (English) Zbl 07807710

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using intersection of unions to minimize multi-directional linearization error in reachability analysis. (English) Zbl 07807709

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Situated transition systems. (English) Zbl 07804575

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 103-115 (2022).
MSC:  18M05 68Q60
PDFBibTeX XMLCite
Full Text: arXiv Link

Controller synthesis for timeline-based games. (English) Zbl 07802076

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131-146 (2022).
MSC:  68T20 68Q60 91A99
PDFBibTeX XMLCite
Full Text: arXiv Link

Parametric interval temporal logic over infinite words. (English) Zbl 07802074

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 97-113 (2022).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: arXiv Link

Model checking temporal properties of recursive probabilistic programs. (English) Zbl 07793042

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 449-469 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Robustness analysis of continuous-depth models with Lagrangian techniques. (English) Zbl 1528.68231

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 625-649 (2022).
MSC:  68Q60 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

A framework for transforming specifications in reinforcement learning. (English) Zbl 1528.68205

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 604-624 (2022).
MSC:  68Q60 68T05 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

T4V: exploring neural network architectures that improve the scalability of neural network verification. (English) Zbl 1528.68230

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 585-603 (2022).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Automated program repair using formal verification techniques. (English) Zbl 1528.68079

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 511-534 (2022).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

From interface automata to hypercontracts. (English) Zbl 1528.68186

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 477-493 (2022).
MSC:  68Q45 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software